all repos — tint2 @ 3615571e39797e0b406481dd086bc029e00cc3f7

fork of the tint2 desktop panel for my custom setup - only minimized windows across all desktops for the taskbar

Tint2conf: remove tooltips for border sides, it is clear (issue #580)
o9000 mrovi9000@gmail.com
commit

3615571e39797e0b406481dd086bc029e00cc3f7

parent

ed3fcd63fc7fb1c4061fbabc5fbd66eb2f3c2ed3

1 files changed, 0 insertions(+), 4 deletions(-)

jump to
M src/tint2conf/properties.csrc/tint2conf/properties.c

@@ -679,25 +679,21 @@ background_border_sides_top = gtk_check_button_new_with_label("Top");

gtk_widget_show(background_border_sides_top); gtk_table_attach(GTK_TABLE(table), background_border_sides_top, col, col+1, row, row+1, GTK_FILL, 0, 0, 0); col++; - gtk_tooltips_set_tip(tooltips, background_border_sides_top, _("Draw a line at top of task button."), NULL); background_border_sides_bottom = gtk_check_button_new_with_label("Bottom"); gtk_widget_show(background_border_sides_bottom); gtk_table_attach(GTK_TABLE(table), background_border_sides_bottom, col, col+1, row, row+1, GTK_FILL, 0, 0, 0); col++; - gtk_tooltips_set_tip(tooltips, background_border_sides_top, _("Draw a line at bottom of task button."), NULL); background_border_sides_left = gtk_check_button_new_with_label("Left"); gtk_widget_show(background_border_sides_left); gtk_table_attach(GTK_TABLE(table), background_border_sides_left, col, col+1, row, row+1, GTK_FILL, 0, 0, 0); col++; - gtk_tooltips_set_tip(tooltips, background_border_sides_left, _("Draw a line at left of task button."), NULL); background_border_sides_right = gtk_check_button_new_with_label("Right"); gtk_widget_show(background_border_sides_right); gtk_table_attach(GTK_TABLE(table), background_border_sides_right, col, col+1, row, row+1, GTK_FILL, 0, 0, 0); col++; - gtk_tooltips_set_tip(tooltips, background_border_sides_right, _("Draw a line at right of task button."), NULL); g_signal_connect(G_OBJECT(current_background), "changed", G_CALLBACK(current_background_changed), NULL); g_signal_connect(G_OBJECT(background_fill_color), "color-set", G_CALLBACK(background_update), NULL);