From 1652edad6ea102c2be45309f330a4db92e9da348 Mon Sep 17 00:00:00 2001
From: Mart Lubbers <mart@martlubbers.net>
Date: Thu, 16 Oct 2014 13:25:45 +0200
Subject: [PATCH] ding

---
 program/everything/buttons.py | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

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>"""
-- 
2.20.1