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

[OldTheme] Re-add the padding/bw option.

This commit is contained in:
Dave Davenport 2017-07-03 09:23:03 +02:00
parent 5f21ab80a8
commit 7e1c02b04c
7 changed files with 25 additions and 3 deletions

View file

@ -35,6 +35,8 @@ Settings config = {
/** List of enabled modi. */ /** List of enabled modi. */
/** -modi */ /** -modi */
.modi = "window,run,ssh", .modi = "window,run,ssh",
/** Border width around the window. */
.menu_bw = 1,
/** The width of the switcher. (0100 in % > 100 in pixels) */ /** The width of the switcher. (0100 in % > 100 in pixels) */
.menu_width = 50, .menu_width = 50,
/** Maximum number of options to show. */ /** Maximum number of options to show. */
@ -74,6 +76,8 @@ Settings config = {
* *
*/ */
.location = WL_CENTER, .location = WL_CENTER,
/** Padding between elements */
.padding = 5,
/** Y offset */ /** Y offset */
.y_offset = 0, .y_offset = 0,
/** X offset */ /** X offset */

View file

@ -82,6 +82,8 @@ typedef struct
{ {
/** List of enabled modi */ /** List of enabled modi */
char *modi; char *modi;
/** Border width */
unsigned int menu_bw;
/** Width (0-100 in %, > 100 in pixels, < 0 in char width.) */ /** Width (0-100 in %, > 100 in pixels, < 0 in char width.) */
int menu_width; int menu_width;
/** # lines */ /** # lines */
@ -119,6 +121,8 @@ typedef struct
/** Windows location/gravity */ /** Windows location/gravity */
WindowLocation location; WindowLocation location;
/** Padding between elements */
unsigned int padding;
/** Y offset */ /** Y offset */
int y_offset; int y_offset;
/** X offset */ /** X offset */

View file

@ -185,7 +185,7 @@ static void exec_cmd_entry ( DRunModeEntry *e )
} }
const gchar *fp = g_strstrip ( str ); const gchar *fp = g_strstrip ( str );
gchar *exec_path = g_key_file_get_string ( e->key_file, "Desktop Entry", "Path", NULL ); gchar *exec_path = g_key_file_get_string ( e->key_file, "Desktop Entry", "Path", NULL );
if ( exec_path != NULL && strlen ( exec_path ) == 0 ) { if ( exec_path != NULL && strlen ( exec_path ) == 0 ) {
// If it is empty, ignore this property. (#529) // If it is empty, ignore this property. (#529)
g_free ( exec_path ); g_free ( exec_path );

View file

@ -1103,7 +1103,7 @@ cairo_surface_t* cairo_image_surface_create_from_svg ( const gchar* file, int he
g_object_unref ( handle ); g_object_unref ( handle );
/** Rendering fails */ /** Rendering fails */
if ( G_UNLIKELY ( failed ) ){ if ( G_UNLIKELY ( failed ) ) {
g_warning ( "Failed to render file: '%s'", file ); g_warning ( "Failed to render file: '%s'", file );
cairo_surface_destroy ( surface ); cairo_surface_destroy ( surface );
surface = NULL; surface = NULL;

View file

@ -796,15 +796,18 @@ int main ( int argc, char *argv[] )
return EXIT_FAILURE; return EXIT_FAILURE;
} }
TICK_N ( "Setup Locale" );
rofi_collect_modi (); rofi_collect_modi ();
rofi_collect_modi_setup ();
TICK_N ( "Collect MODI" ); TICK_N ( "Collect MODI" );
rofi_collect_modi_setup ();
TICK_N ( "Setup MODI" );
main_loop = g_main_loop_new ( NULL, FALSE ); main_loop = g_main_loop_new ( NULL, FALSE );
TICK_N ( "Setup mainloop" ); TICK_N ( "Setup mainloop" );
bindings = nk_bindings_new (); bindings = nk_bindings_new ();
TICK_N ( "NK Bindings" );
if ( !display_setup ( main_loop, bindings ) ) { if ( !display_setup ( main_loop, bindings ) ) {
g_warning ( "Connection has error" ); g_warning ( "Connection has error" );

View file

@ -691,6 +691,11 @@ static char * rofi_theme_convert_color ( char *col )
} }
void rofi_theme_convert_old ( void ) void rofi_theme_convert_old ( void )
{ {
{
char *str = g_strdup_printf ( "#window { border: %d; padding: %d;}", config.menu_bw, config.padding );
rofi_theme_parse_string ( str );
g_free ( str );
}
if ( config.color_window ) { if ( config.color_window ) {
char **retv = g_strsplit ( config.color_window, ",", -1 ); char **retv = g_strsplit ( config.color_window, ",", -1 );
const char * const conf[] = { const char * const conf[] = {

View file

@ -94,10 +94,16 @@ static XrmOption xrmOptions[] = {
{ xrm_String, "font", { .str = &config.menu_font }, NULL, { xrm_String, "font", { .str = &config.menu_font }, NULL,
"Font to use", CONFIG_DEFAULT }, "Font to use", CONFIG_DEFAULT },
{ xrm_Number, "borderwidth", { .num = &config.menu_bw }, NULL,
"", CONFIG_DEFAULT },
{ xrm_Number, "bw", { .num = &config.menu_bw }, NULL,
"Border width", CONFIG_DEFAULT },
{ xrm_Number, "location", { .num = &config.location }, NULL, { xrm_Number, "location", { .num = &config.location }, NULL,
"Location on screen", CONFIG_DEFAULT }, "Location on screen", CONFIG_DEFAULT },
{ xrm_Number, "padding", { .num = &config.padding }, NULL,
"Padding", CONFIG_DEFAULT },
{ xrm_SNumber, "yoffset", { .snum = &config.y_offset }, NULL, { xrm_SNumber, "yoffset", { .snum = &config.y_offset }, NULL,
"Y-offset relative to location", CONFIG_DEFAULT }, "Y-offset relative to location", CONFIG_DEFAULT },
{ xrm_SNumber, "xoffset", { .snum = &config.x_offset }, NULL, { xrm_SNumber, "xoffset", { .snum = &config.x_offset }, NULL,