1
0
Fork 0
mirror of https://github.com/davatorium/rofi.git synced 2024-11-18 13:54:36 -05:00

Allow 0 line margin

This commit is contained in:
Dave Davenport 2015-08-27 07:35:34 +02:00
parent 2277501566
commit 353e82b27d
2 changed files with 4 additions and 4 deletions

View file

@ -132,7 +132,7 @@ Settings config = {
.fuzzy = FALSE,
/** Monitor */
.monitor = -1,
.line_margin = 3,
.line_margin = 2,
.filter = NULL,
.separator_style = "dash",
};

View file

@ -487,10 +487,10 @@ void config_sanity_check ( )
found_error = 1;
}
if ( 0 ) {
if ( !( config.line_margin >= 3 && config.line_margin <= 50 ) ) {
if ( !( config.line_margin <= 50 ) ) {
g_string_append_printf ( msg, "\t<b>config.line_margin</b>=%d is invalid. Value should be between %d and %d.\n",
config.line_margin, 3, 50 );
config.line_margin = 3;
config.line_margin, 0, 50 );
config.line_margin = 2;
found_error = 1;
}
}