o: ActiveSupport::Cache::Entry	:@compressedF:@expires_in0:@created_atf1381787979.105428:@value"{I"
class:EFI"ProcessedAsset; FI"logical_path; FI"!umlaut/ensure_window_size.js; TI"pathname; FI"Y/Users/jrochkind/code/umlaut/app/assets/javascripts/umlaut/ensure_window_size.js.erb; TI"content_type; FI"application/javascript; FI"
mtime; FI"2013-10-14T10:46:31-04:00; FI"length; FißI"digest; F"%f416c8dd6bd06ccae87606397af88521I"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"%ae9f410a2eaed003d4a79dea9f7697c8I"required_paths; F[I"Y/Users/jrochkind/code/umlaut/app/assets/javascripts/umlaut/ensure_window_size.js.erb; TI"dependency_paths; F[{I"	path; FI"Y/Users/jrochkind/code/umlaut/app/assets/javascripts/umlaut/ensure_window_size.js.erb; TI"
mtime; FI"2013-10-14T10:46:31-04:00; FI"digest; F"%586237b97bcad4c001f0ff4878408382I"_version; F"%6776f581a4329e299531e1d52aa59832