diff options
Diffstat (limited to 'plugins/keyboard/keysrc.l')
| -rw-r--r-- | plugins/keyboard/keysrc.l | 38 |
1 files changed, 0 insertions, 38 deletions
diff --git a/plugins/keyboard/keysrc.l b/plugins/keyboard/keysrc.l deleted file mode 100644 index c6f3a363..00000000 --- a/plugins/keyboard/keysrc.l +++ /dev/null @@ -1,38 +0,0 @@ -%{ -#include <glib.h> -#include "y.tab.h" - -extern void kparseerror(char *s); -int kparselineno; -%} - -field [A-Za-z0-9][-A-Za-z0-9]* -number (-[0-9]|[0-9])[0-9]* -string \"[^"\n]*\" - -%% - -^[ \t]*#.*\n kparselineno++; -{number} kparselval.integer = atoi(kparsetext); return INTEGER; -{field} kparselval.string = g_strdup(kparsetext); return FIELD; -{string} { - /* drop the quotes */ - kparselval.string = g_strdup(kparsetext+1); - if (kparselval.string[kparseleng-2] != '"') { - g_warning("improperly terminated string on line %d\n", - kparselineno); - kparseerror(""); - } else - kparselval.string[kparseleng-2] = '\0'; - return STRING; - } - -[ \t] -\n kparselineno++; return *yytext; -. kparseerror(""); - -%% - -int kparsewrap() { - return 1; -} |
