mirror of
https://github.com/gryf/wmaker.git
synced 2025-12-19 12:28:22 +01:00
Just a small sync of files
This commit is contained in:
1
BUGS
1
BUGS
@@ -1,6 +1,5 @@
|
|||||||
- wmaker will not stop managing a screen even if another window manager
|
- wmaker will not stop managing a screen even if another window manager
|
||||||
requests that, through the ICCCM 2.0 manager selection stuff
|
requests that, through the ICCCM 2.0 manager selection stuff
|
||||||
- the app menu does not update after a style/theme change without restart.
|
|
||||||
- stacking code is buggy (or XFree is buggy)
|
- stacking code is buggy (or XFree is buggy)
|
||||||
- after restart focus is losed or switched to another window. May be related
|
- after restart focus is losed or switched to another window. May be related
|
||||||
to the one above.
|
to the one above.
|
||||||
|
|||||||
@@ -177,9 +177,10 @@ WMSynchronizeUserDefaults(WMUserDefaults *database)
|
|||||||
if (stat(path, &stbuf) >= 0 && stbuf.st_mtime > database->timestamp)
|
if (stat(path, &stbuf) >= 0 && stbuf.st_mtime > database->timestamp)
|
||||||
fileIsNewer = True;
|
fileIsNewer = True;
|
||||||
|
|
||||||
/*printf("syncing: %s %d %d\n", path, database->dirty, fileIsNewer);*/
|
|
||||||
|
|
||||||
if (database->appDomain && (database->dirty || fileIsNewer)) {
|
if (database->appDomain && (database->dirty || fileIsNewer)) {
|
||||||
|
|
||||||
|
/*fprintf(stderr, "syncing: %s %d %d\n", path, database->dirty, fileIsNewer);*/
|
||||||
|
|
||||||
PLShallowSynchronize(database->appDomain);
|
PLShallowSynchronize(database->appDomain);
|
||||||
database->dirty = 0;
|
database->dirty = 0;
|
||||||
if (stat(path, &stbuf) >= 0)
|
if (stat(path, &stbuf) >= 0)
|
||||||
|
|||||||
Reference in New Issue
Block a user