ding
authorMart Lubbers <mart@martlubbers.net>
Thu, 16 Oct 2014 11:25:45 +0000 (13:25 +0200)
committerMart Lubbers <mart@martlubbers.net>
Thu, 16 Oct 2014 11:25:45 +0000 (13:25 +0200)
program/everything/buttons.py

index db9e944..5086d96 100644 (file)
@@ -2,8 +2,7 @@ BUTTONPAIRS = [
     ('#0000FF', 'Waar'),
     ('#00FF00', 'Wat'),
     ('#FF0000', 'Tijd'),
-    ('#8B0000', 'Datum'),
-    ('#008B00', 'NonKeyword')]
+    ('#8B0000', 'Datum')]
 
 BUTTONSKEL = """<button style="color:{0}" onclick="javascript:stylizeHighlight\
 edString('{0}')">{1}</button>"""