commit 1b5a4d8876f3bcf375f480559c2f1a61e134c2d5 Author: Mike Perry mikeperry-git@fscked.org Date: Thu May 24 12:10:25 2012 -0700
Bug 5729: Let's leave a little more room for desktop decorations. --- src/chrome/content/torbutton.js | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-)
diff --git a/src/chrome/content/torbutton.js b/src/chrome/content/torbutton.js index c0c7006..161a2e3 100644 --- a/src/chrome/content/torbutton.js +++ b/src/chrome/content/torbutton.js @@ -4183,7 +4183,7 @@ function torbutton_set_window_size(bWin) { +" inner: "+bWin.innerWidth+"x"+bWin.innerHeight+ " in state "+window.windowState+" Have "+availWidth.value+"x"+availHeight.value);
- var maxHeight = availHeight.value - (window.outerHeight - bWin.innerHeight) - 1; + var maxHeight = availHeight.value - (window.outerHeight - bWin.innerHeight) - 51; var maxWidth = availWidth.value - (window.outerWidth - bWin.innerWidth);
torbutton_log(3, "Got max dimensions: "+maxWidth+"x"+maxHeight);