diff options
Diffstat (limited to 'hw/xwin/winprefslex.l')
| -rw-r--r-- | hw/xwin/winprefslex.l | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/hw/xwin/winprefslex.l b/hw/xwin/winprefslex.l index 4b1fef216..a4c1abc3d 100644 --- a/hw/xwin/winprefslex.l +++ b/hw/xwin/winprefslex.l @@ -81,6 +81,7 @@ ALWAYSONTOP { return ALWAYSONTOP; } DEBUG { return DEBUG; } RELOAD { return RELOAD; } TRAYICON { return TRAYICON; } +SILENTEXIT { return SILENTEXIT; } "{" { return LB; } "}" { return RB; } "\""[^\"\r\n]+"\"" { yylval.sVal = makestr(yytext+1); \ |