o: ActiveSupport::Cache::Entry	:@compressedF:@expires_in0:@created_atf1333394214.440497:@value"į{I"
class:EFI"ProcessedAsset; FI"logical_path; F"!umlaut/ensure_window_size.jsI"pathname; F"R/home/rochkind/umlaut/app/assets/javascripts/umlaut/ensure_window_size.js.erbI"content_type; FI"application/javascript; FI"
mtime; FI"2012-03-29T15:10:02-04:00; FI"length; FißI"digest; F"%0966ef17b14debac8bd31129db4510abI"source; FI"ß// Some code to re-size our window to config defined minimum height/width
//     We have little control over what size a content provider generates a
//     window for a link resolver. Often it's too small. So we resize in
//     js.

// Some browsers won't let us resize the window though. Oh well, we try. 
// Those that wont' let us just silently no-op. 

jQuery(document).ready(function($) {    
  var min_width = 820;
  var min_height = 400;

  // Default to something huge, so if we fail in getting dimensions,
  // we won't resize. 
  var orig_width = 100000; 
  var orig_height = 100000;
  
  // JQuery document viewport width/height 
  
  orig_width = $(window).width();
  orig_height = $(window).height();
  
  
  
  width_diff = min_width - orig_width;
  height_diff = min_height - orig_height;
  
  if (width_diff < 0) { width_diff = 0 }
  if (height_diff < 0) { height_diff = 0 }
  
  if (width_diff >0 || height_diff > 0) {
    window.resizeBy(width_diff, height_diff)
  }
});
; FI"dependency_digest; F"%0a6b6c9983c2fa728fcac04d76d118f1I"required_paths; F["R/home/rochkind/umlaut/app/assets/javascripts/umlaut/ensure_window_size.js.erbI"dependency_paths; F[{I"	path; F"R/home/rochkind/umlaut/app/assets/javascripts/umlaut/ensure_window_size.js.erbI"
mtime; FI"2012-03-29T15:10:02-04:00; FI"digest; F"%d6ae6f3bc8371237a1abe5d759da1634I"_version; F"%aa7d0db7619379e13b08335dee027df2