diff options
author | markt <markt> | 2006-07-20 07:15:59 (GMT) |
---|---|---|
committer | markt <markt> | 2006-07-20 07:15:59 (GMT) |
commit | f9ade8947c08a7f1a4485b44da2403a55a3c04e1 (patch) | |
tree | 793620785e0cae212af273681529415b57a5c8cf /src/FbTk | |
parent | f4d1af12083863f1aa63c88e3eb55a9317758fc1 (diff) | |
download | fluxbox_paul-f9ade8947c08a7f1a4485b44da2403a55a3c04e1.zip fluxbox_paul-f9ade8947c08a7f1a4485b44da2403a55a3c04e1.tar.bz2 |
properly revert focus when two windows close at the same time
Diffstat (limited to 'src/FbTk')
-rw-r--r-- | src/FbTk/FbWindow.hh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/FbTk/FbWindow.hh b/src/FbTk/FbWindow.hh index c5494b0..0226121 100644 --- a/src/FbTk/FbWindow.hh +++ b/src/FbTk/FbWindow.hh | |||
@@ -137,7 +137,7 @@ public: | |||
137 | } | 137 | } |
138 | virtual void lower(); | 138 | virtual void lower(); |
139 | virtual void raise(); | 139 | virtual void raise(); |
140 | void setInputFocus(int revert_to, int time); | 140 | virtual void setInputFocus(int revert_to, int time); |
141 | /// defines a cursor for this window | 141 | /// defines a cursor for this window |
142 | void setCursor(Cursor cur); | 142 | void setCursor(Cursor cur); |
143 | #ifdef NOT_USED | 143 | #ifdef NOT_USED |