Ticket #9268: screen-prefs.patch

File screen-prefs.patch, 963 bytes (added by cypherpunks, 6 years ago)

Set a static size with extensions.torbutton.window.inner{Width,Height}

  • src/chrome/content/torbutton.js

    diff --git a/src/chrome/content/torbutton.js b/src/chrome/content/torbutton.js
    index c7a8274..b608b17 100644
    a b var torbutton_resizelistener = 
    29182918      var width;
    29192919      var height;
    29202920
    2921       if (maxWidth > 1000) {
    2922         width = 1000;
    2923       } else {
    2924         width = Math.floor(maxWidth/200.0)*200;
     2921      try {
     2922        width = m_tb_prefs.getIntPref("extensions.torbutton.window.innerWidth");
     2923      } catch(e) {
     2924        if (maxWidth > 1000) {
     2925          width = 1000;
     2926        } else {
     2927          width = Math.floor(maxWidth/200.0)*200;
     2928        }
    29252929      }
    29262930
    2927       height = Math.floor(maxHeight/100.0)*100;
     2931      try {
     2932        height = m_tb_prefs.getIntPref("extensions.torbutton.window.innerHeight");
     2933      } catch(e) {
     2934        height = Math.floor(maxHeight/100.0)*100;
     2935      }
    29282936
    29292937      var handler = function() {
    29302938        if (window.windowState === 1) {