1
2
3
4
5
6
7
8
9
10
11
|
--- browser/locales/en-US/chrome/browser/preferences/preferences.dtd~ 2006-05-10 12:12:00.000000000 +0100
+++ browser/locales/en-US/chrome/browser/preferences/preferences.dtd 2006-05-12 17:30:13.000000000 +0100
@@ -3,7 +3,7 @@
<!ENTITY prefWindow.titleGNOME "&brandShortName; Preferences">
<!ENTITY prefWindow.styleWin "width: 42em; height: 36em;">
<!ENTITY prefWindow.styleMac "width: 47em;">
-<!ENTITY prefWindow.styleGNOME "width: 50em">
+<!ENTITY prefWindow.styleGNOME "width: 50em; height: 37em;">
<!ENTITY paneGeneral.title "General">
<!ENTITY panePrivacy.title "Privacy">
|