mirror of
https://github.com/gryf/wmaker.git
synced 2025-12-22 05:48:01 +01:00
wmaker: Replaced local 'extern' definition of wPreferences by proper header usage
Signed-off-by: Christophe CURIS <christophe.curis@free.fr>
This commit is contained in:
committed by
Carlos R. Mafra
parent
3803ae6493
commit
74cd836e48
@@ -60,7 +60,6 @@
|
||||
#define WORKSPACE_NAME_DISPLAY_PADDING 32
|
||||
|
||||
extern int ignore_wks_change;
|
||||
extern WPreferences wPreferences;
|
||||
extern XContext wVEdgeContext;
|
||||
extern WShortKey wKeyBindings[WKBD_LAST];
|
||||
|
||||
|
||||
Reference in New Issue
Block a user