From: Mart Lubbers <mart@martlubbers.net>
Date: Thu, 16 Oct 2014 11:25:45 +0000 (+0200)
Subject: ding
X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=1652edad6ea102c2be45309f330a4db92e9da348;p=bsc-thesis1415.git

ding
---

diff --git a/program/everything/buttons.py b/program/everything/buttons.py
index db9e944..5086d96 100644
--- a/program/everything/buttons.py
+++ b/program/everything/buttons.py
@@ -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>"""