# HG changeset patch # User George Averill # Date 1198624864 21600 # Node ID ab59718d870427de8cdd98011a5f7df4909262f9 # Parent e1468d0b118d05cf590eb6a50d27d07bc9901c13 - Update mainwin width when (un)shading the main window, as the mainwinWidth skin hint may be different from the proper shaded width. diff -r e1468d0b118d -r ab59718d8704 src/audacious/ui_main.c --- a/src/audacious/ui_main.c Tue Dec 25 14:14:33 2007 -0600 +++ b/src/audacious/ui_main.c Tue Dec 25 17:21:04 2007 -0600 @@ -254,7 +254,7 @@ dock_shade(dock_window_list, GTK_WINDOW(mainwin), height * (cfg.doublesize + 1)); } - mainwin_refresh_visible(); + mainwin_refresh_hints(); ui_skinned_set_push_button_data(mainwin_shade, 0, cfg.player_shaded ? 27 : 18, 9, cfg.player_shaded ? 27 : 18); }