summaryrefslogtreecommitdiff
path: root/resources/FatMessages
diff options
context:
space:
mode:
authorVincent Sanders <vince@kyllikki.org>2014-08-02 02:19:06 +0100
committerVincent Sanders <vince@kyllikki.org>2014-08-02 02:20:25 +0100
commitca077b06386bf86c3f7e8b13ba8a90d59ccf54ec (patch)
tree43a7ae4e99748c93ba7c3c87454f7eff88c28b4c /resources/FatMessages
parentc0548fc472ac2c8e8bbc9e6254ee785f69cfadf2 (diff)
downloadnetsurf-ca077b06386bf86c3f7e8b13ba8a90d59ccf54ec.tar.gz
netsurf-ca077b06386bf86c3f7e8b13ba8a90d59ccf54ec.tar.bz2
fixup preference dialog handling of Developer view options
Diffstat (limited to 'resources/FatMessages')
-rw-r--r--resources/FatMessages9
1 files changed, 5 insertions, 4 deletions
diff --git a/resources/FatMessages b/resources/FatMessages
index a957d65ae..9eb742676 100644
--- a/resources/FatMessages
+++ b/resources/FatMessages
@@ -2322,10 +2322,11 @@ en.gtk.preferencesTabsAlways:Always show tab bar
en.gtk.preferencesTabsSwitch:Switch to newly opened tabs immediately
en.gtk.preferencesTabsNewly:Newly opened tabs are blank
en.gtk.preferencesTabsPosition:Position:
-en.gtk.preferencesSource:<b>Source</b>
-en.gtk.preferencesSourceOpen:Open source view in new:
-en.gtk.preferencesSourceWindow:window
-en.gtk.preferencesSourceTab:tab
+en.gtk.preferencesTools:<b>Tools</b>
+en.gtk.preferencesDeveloperView:Open developer views in a
+en.gtk.preferencesDeveloperViewWindow:Window
+en.gtk.preferencesDeveloperViewTab:Tab
+en.gtk.preferencesDeveloperViewEditor:Editor
en.gtk.preferencesURLbar:<b>URLbar</b>
en.gtk.preferencesURLbarDisplay:Display recently visited URLs as you type
en.gtk.preferencesToolbar:<b>Toolbar</b>