mirror of
https://github.com/gryf/wmaker.git
synced 2026-01-07 14:24:14 +01:00
fixed bug in builtin xpm loader
fixed crash bug in menu editor
This commit is contained in:
@@ -410,6 +410,9 @@ savePanelData(Panel *panel)
|
||||
static void
|
||||
changeSection(WMWidget *self, void *data)
|
||||
{
|
||||
if (WPrefs.currentPanel == data)
|
||||
return;
|
||||
|
||||
if (WPrefs.banner) {
|
||||
WMDestroyWidget(WPrefs.banner);
|
||||
WPrefs.banner = NULL;
|
||||
|
||||
Reference in New Issue
Block a user