From 9c40b6e33237b137c46530a25a3560f4b56bc682 Mon Sep 17 00:00:00 2001 From: mitchell <70453897+667e-11@users.noreply.github.com> Date: Fri, 21 Jun 2013 15:00:56 -0400 Subject: Remove theme selection since it does not persist. Encourage calling `gui.set_theme()` from *~/.textadept/init.lua* instead. --- core/locales/locale.de.conf | 2 -- 1 file changed, 2 deletions(-) (limited to 'core/locales/locale.de.conf') diff --git a/core/locales/locale.de.conf b/core/locales/locale.de.conf index 2508a656..183d1f1f 100644 --- a/core/locales/locale.de.conf +++ b/core/locales/locale.de.conf @@ -43,7 +43,6 @@ Name = Name %Untitled = Unbenannt Switch Buffers = Wechsle Buffer theme not found = -Theme nicht gefunden -Select Theme = Theme auswählen CRLF = CRLF CR = CR LF = LF @@ -229,7 +228,6 @@ Toggle _Virtual Space = Virtuelle Leerzeichen umschalten Zoom _In = Zoom vergrößern Zoom _Out = Zoom verkleinern _Reset Zoom = Zoom zurücksetzen -Select _Theme... = Theme auswählen _Help = _Hilfe Show _Manual = Handbuch anzeigen Show _LuaDoc = LuaDoc anzeigen -- cgit v1.2.3