diff options
author | mitchell <70453897+667e-11@users.noreply.github.com> | 2020-07-13 14:30:36 -0400 |
---|---|---|
committer | mitchell <70453897+667e-11@users.noreply.github.com> | 2020-07-13 14:30:36 -0400 |
commit | 1e278dce5dab93b73a3699aa2cc54fa6db11f34f (patch) | |
tree | c3b58e90f15b2443e74d1cceb0749a94bb7a5d3c /core/locales/locale.de.conf | |
parent | de57ae800e07e36e21741ff8983f64ed24ff16f9 (diff) |
Auto-highlight all occurrences of selected words and find results.
This supercedes `textadept.editing.highlight_word()`, which has been removed.
Changed the color of word highlights in themes.
Diffstat (limited to 'core/locales/locale.de.conf')
-rw-r--r-- | core/locales/locale.de.conf | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/core/locales/locale.de.conf b/core/locales/locale.de.conf index d94cfe3c..9ddee348 100644 --- a/core/locales/locale.de.conf +++ b/core/locales/locale.de.conf @@ -166,7 +166,6 @@ Delete Word = Wort löschen Select All = A_lles auswählen Match Brace = Zugehörige Klammer Complete Word = Wort vervollständigen -Highlight Word = Wort hervorheben Toggle Block Comment = Kommentar umschalten Transpose Characters = Zeichen vertauschen Join Lines = Zeilen verbinden |