diff options
author | Dave Davenport <qball@gmpclient.org> | 2020-12-02 21:14:31 +0100 |
---|---|---|
committer | Dave Davenport <qball@gmpclient.org> | 2020-12-02 21:14:31 +0100 |
commit | 2e21c2b63eb1b837b9f33598263302592df7e30e (patch) | |
tree | 999ae13b4681fefd4d481c09085d445ca828fc72 /source/helper.c | |
parent | b7186a2ff48c617300b23d746d78b48f5d23cb73 (diff) |
Remove more old config options that are now part of theme.
Diffstat (limited to 'source/helper.c')
-rw-r--r-- | source/helper.c | 25 |
1 files changed, 0 insertions, 25 deletions
diff --git a/source/helper.c b/source/helper.c index 78140b2c..0d4e202d 100644 --- a/source/helper.c +++ b/source/helper.c @@ -645,12 +645,6 @@ int config_sanity_check ( void ) config.element_height = 1; found_error = TRUE; } - if ( !( config.location >= 0 && config.location <= 8 ) ) { - g_string_append_printf ( msg, "\t<b>config.location</b>=%d is invalid. Value should be between %d and %d.\n", - config.location, 0, 8 ); - config.location = WL_CENTER; - found_error = 1; - } // Check size { @@ -668,25 +662,6 @@ int config_sanity_check ( void ) } } - if ( config.menu_font ) { - PangoFontDescription *pfd = pango_font_description_from_string ( config.menu_font ); - const char *fam = pango_font_description_get_family ( pfd ); - int size = pango_font_description_get_size ( pfd ); - if ( fam == NULL || size == 0 ) { - g_string_append_printf ( msg, "Pango failed to parse font: '%s'\n", config.menu_font ); - g_string_append_printf ( msg, "Got font family: <b>%s</b> at size <b>%d</b>\n", fam ? fam : "{unknown}", size ); - config.menu_font = NULL; - found_error = TRUE; - } - pango_font_description_free ( pfd ); - } - - if ( g_strcmp0 ( config.monitor, "-3" ) == 0 ) { - // On -3, set to location 1. - config.location = 1; - config.fullscreen = 0; - } - if ( found_error ) { g_string_append ( msg, "Please update your configuration." ); rofi_add_error_message ( msg ); |