use the number for sendtodesktop

[chaz/openbox] / plugins / keyboard / keysrc.l

diff --git a/plugins/keyboard/keysrc.l b/plugins/keyboard/keysrc.l
index 258a23b9c4b3933e16acacbdd1af5907f4d50c6e..c6f3a363eeb9aa0019c38bbe341a7ada8f3f2252 100644 (file)
--- a/plugins/keyboard/keysrc.l
+++ b/plugins/keyboard/keysrc.l
@@ -7,19 +7,13 @@ int kparselineno;
 %}
 
 field [A-Za-z0-9][-A-Za-z0-9]*
-number [0-9]+
-desktop [dD][eE][sS][kK][tT][oO][pP]
-execute [eE][xX][eE][cC][uU][tT][eE]
-restart [rR][eE][sS][tT][aA][rR][tT]
+number (-[0-9]|[0-9])[0-9]*
 string \"[^"\n]*\"
 
 %%
 
 ^[ \t]*#.*\n kparselineno++;
 {number}     kparselval.integer = atoi(kparsetext);    return INTEGER;
-{execute}    kparselval.string = g_strdup(kparsetext); return EXECUTE;
-{restart}    kparselval.string = g_strdup(kparsetext); return RESTART;
-{desktop}    kparselval.string = g_strdup(kparsetext); return DESKTOP;
 {field}      kparselval.string = g_strdup(kparsetext); return FIELD;
 {string}     {
                  /* drop the quotes */