1
0
Fork 0
mirror of https://github.com/davatorium/rofi.git synced 2024-11-25 13:55:34 -05:00

[Lexer] Only allow configuration blocks before theme.

This commit is contained in:
Dave Davenport 2018-07-15 11:04:47 +02:00
parent e4d823774c
commit 06165f867a
3 changed files with 15 additions and 22 deletions

View file

@ -250,10 +250,24 @@ static ThemeColor hwb_to_rgb ( double h, double w, double b)
%type <list> t_property_element_list_optional %type <list> t_property_element_list_optional
%type <ival> t_property_orientation %type <ival> t_property_orientation
%type <ival> t_name_prefix_optional %type <ival> t_name_prefix_optional
%start t_entry_list %start t_main
%% %%
/**
* First have the configuration blocks, then the theme.
*/
t_main
: %empty {}
| t_configuration_list t_entry_list {
// Dummy at this point.
}
;
t_configuration_list:
%empty {}
| t_configuration_list T_CONFIGURATION T_BOPEN t_config_property_list_optional T_BCLOSE {};
t_entry_list: t_entry_list:
%empty { %empty {
// There is always a base widget. // There is always a base widget.
@ -300,9 +314,6 @@ t_name_prefix_optional t_entry_name_path_selectors T_BOPEN t_property_list_optio
g_hash_table_destroy ( $3 ); g_hash_table_destroy ( $3 );
} }
} }
| T_CONFIGURATION T_BOPEN t_config_property_list_optional T_BCLOSE {
// Dummy at this point.
}
; ;
t_config_property_list_optional t_config_property_list_optional

View file

@ -4,21 +4,6 @@
* Copyright: Dave Davenport * Copyright: Dave Davenport
*/ */
configuration {
// The display name of this browser
display-ssh: " ";
// The display name of this browser
display-run: "";
// The display name of this browser
display-drun: "";
// The display name of this browser
display-window: "";
display-combi: "";
show-icons: true;
}
/** /**
* User: Qball * User: Qball
* Copyright: Dave Davenport * Copyright: Dave Davenport

View file

@ -10,9 +10,6 @@
font: "Times New Roman 12"; font: "Times New Roman 12";
} }
configuration {
}
#window { #window {
anchor: north; anchor: north;
location: north; location: north;