diff options
| author | Dana Jansens <danakj@orodu.net> | 2003-03-26 13:29:09 +0000 |
|---|---|---|
| committer | Dana Jansens <danakj@orodu.net> | 2003-03-26 13:29:09 +0000 |
| commit | addbf69108c42e9c6bf93df8da36c96765cf5ca1 (patch) | |
| tree | 959295c69f8f3833a24262604373b2498ac419f4 | |
| parent | 1fb5c4b595677a029c75b75ef85a69ec90160da8 (diff) | |
make parsing more generic
| -rw-r--r-- | plugins/keyboard/keysrc.l | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/plugins/keyboard/keysrc.l b/plugins/keyboard/keysrc.l index 258a23b9..08989f49 100644 --- a/plugins/keyboard/keysrc.l +++ b/plugins/keyboard/keysrc.l @@ -8,18 +8,12 @@ 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] 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 */ |