From ca077b06386bf86c3f7e8b13ba8a90d59ccf54ec Mon Sep 17 00:00:00 2001 From: Vincent Sanders Date: Sat, 2 Aug 2014 02:19:06 +0100 Subject: fixup preference dialog handling of Developer view options --- resources/FatMessages | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) (limited to 'resources') 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:Source -en.gtk.preferencesSourceOpen:Open source view in new: -en.gtk.preferencesSourceWindow:window -en.gtk.preferencesSourceTab:tab +en.gtk.preferencesTools:Tools +en.gtk.preferencesDeveloperView:Open developer views in a +en.gtk.preferencesDeveloperViewWindow:Window +en.gtk.preferencesDeveloperViewTab:Tab +en.gtk.preferencesDeveloperViewEditor:Editor en.gtk.preferencesURLbar:URLbar en.gtk.preferencesURLbarDisplay:Display recently visited URLs as you type en.gtk.preferencesToolbar:Toolbar -- cgit v1.2.3