mirror of
https://github.com/lbonn/rofi
synced 2024-11-15 16:38:00 +00:00
Add two extra options to xresource
This commit is contained in:
parent
bd3d69d1ae
commit
302db5bf07
1 changed files with 2 additions and 0 deletions
|
@ -103,6 +103,8 @@ XrmOption xrmOptions[] = {
|
|||
{ xrm_String, "highlightbg", { .str = &config.menu_hlbg } },
|
||||
{ xrm_String, "bordercolor", { .str = &config.menu_bc } },
|
||||
{ xrm_Number, "padding", { .num = &config.padding } },
|
||||
{ xrm_Number, "borderwidth", { .num = &config.menu_bw} },
|
||||
{ xrm_String, "terminal", { .str = &config.terminal_emulator } },
|
||||
};
|
||||
|
||||
void* allocate( unsigned long bytes )
|
||||
|
|
Loading…
Reference in a new issue