{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; Fl+l»SI"length; FißI"digest; F"%e34026decd5b537fab105b25748584c0I"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)
  }
});
; TI"dependency_digest; F"%bd00b63c6726e4575bff1318e0b44af9I"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"2014-07-07T17:17:32-04:00; FI"digest; F"%7e5b1a55aef2da69c12e9bcfcf67cc1fI"_version; F"%4bf7b15359fe8e0974f7f263e26e27f4