diff options
author | Dave Davenport <qball@gmpclient.org> | 2015-12-13 13:51:59 +0100 |
---|---|---|
committer | Dave Davenport <qball@gmpclient.org> | 2015-12-13 13:51:59 +0100 |
commit | 97fa0cc61d26be6b28bd615f12575b4004cc02a5 (patch) | |
tree | 6fbd51b44a06ce01ddc62c7dbd18636a13f1ded8 /source | |
parent | f3c22c50e43ffeb32d11862c36d6570db37c1ebe (diff) |
Add option to set scrollbar width
Diffstat (limited to 'source')
-rw-r--r-- | source/rofi.c | 2 | ||||
-rw-r--r-- | source/xrmoptions.c | 3 |
2 files changed, 3 insertions, 2 deletions
diff --git a/source/rofi.c b/source/rofi.c index 4e84a53b..d2c429db 100644 --- a/source/rofi.c +++ b/source/rofi.c @@ -1382,7 +1382,7 @@ MenuReturn menu ( Mode *sw, char **input, char *prompt, unsigned int *selected_l state.element_width, element_height, NORMAL, "" ); } if ( !config.hide_scrollbar ) { - unsigned int sbw = config.line_margin + 8; + unsigned int sbw = config.line_margin+config.scrollbar_width; state.scrollbar = scrollbar_create ( state.w - state.border - sbw, state.top_offset, sbw, ( state.max_rows - 1 ) * ( element_height + config.line_margin ) + element_height ); } diff --git a/source/xrmoptions.c b/source/xrmoptions.c index ab7159cf..bc7c7b9d 100644 --- a/source/xrmoptions.c +++ b/source/xrmoptions.c @@ -138,7 +138,8 @@ static XrmOption xrmOptions[] = { { xrm_Boolean, "fullscreen", { .num = &config.fullscreen }, NULL, "Fullscreen" }, { xrm_Boolean, "fake-transparency", { .num = &config.fake_transparency }, NULL, "Fake transparency" }, { xrm_SNumber, "dpi", { .snum = &config.dpi }, NULL, "DPI" }, - { xrm_Number, "threads", { .num = &config.threads }, NULL, "Threads to use for string matching" } + { xrm_Number, "threads", { .num = &config.threads }, NULL, "Threads to use for string matching" }, + { xrm_Number, "scrollbar-width", { .num = &config.scrollbar_width }, NULL, "Scrollbar width" } }; // Dynamic options. |