diff options
author | fluxgen <fluxgen> | 2002-08-17 22:22:57 (GMT) |
---|---|---|
committer | fluxgen <fluxgen> | 2002-08-17 22:22:57 (GMT) |
commit | 3b6725c3c73605e0601c266bc8eadc94f286f988 (patch) | |
tree | 470ee85eaf9407e05d1f5095f0d47c98cae7b821 | |
parent | 7b6b2661c0a97684543e22f67603e4821a8d5bf1 (diff) | |
download | fluxbox-3b6725c3c73605e0601c266bc8eadc94f286f988.zip fluxbox-3b6725c3c73605e0601c266bc8eadc94f286f988.tar.bz2 |
cleaning
-rw-r--r-- | src/Toolbar.cc | 11 |
1 files changed, 2 insertions, 9 deletions
diff --git a/src/Toolbar.cc b/src/Toolbar.cc index 97e31ed..d973a64 100644 --- a/src/Toolbar.cc +++ b/src/Toolbar.cc | |||
@@ -22,7 +22,7 @@ | |||
22 | // FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER | 22 | // FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER |
23 | // DEALINGS IN THE SOFTWARE. | 23 | // DEALINGS IN THE SOFTWARE. |
24 | 24 | ||
25 | // $Id: Toolbar.cc,v 1.27 2002/08/12 03:25:55 fluxgen Exp $ | 25 | // $Id: Toolbar.cc,v 1.28 2002/08/17 22:22:57 fluxgen Exp $ |
26 | 26 | ||
27 | #include "Toolbar.hh" | 27 | #include "Toolbar.hh" |
28 | 28 | ||
@@ -1172,14 +1172,7 @@ void Toolbar::keyPressEvent(XKeyEvent *ke) { | |||
1172 | //save workspace names | 1172 | //save workspace names |
1173 | Fluxbox::instance()->save_rc(); | 1173 | Fluxbox::instance()->save_rc(); |
1174 | 1174 | ||
1175 | } else if (! IsModifierKey(ks)) {/* ks == XK_Shift_L || ks == XK_Shift_R || | 1175 | } else if (! IsModifierKey(ks) && !IsCursorKey(ks)) { |
1176 | ks == XK_Control_L || ks == XK_Control_R || | ||
1177 | ks == XK_Caps_Lock || ks == XK_Shift_Lock || | ||
1178 | ks == XK_Meta_L || ks == XK_Meta_R || | ||
1179 | ks == XK_Alt_L || ks == XK_Alt_R || | ||
1180 | ks == XK_Super_L || ks == XK_Super_R || | ||
1181 | ks == XK_Hyper_L || ks == XK_Hyper_R)) { | ||
1182 | */ | ||
1183 | 1176 | ||
1184 | if (ks == XK_BackSpace && new_workspace_name.size()) | 1177 | if (ks == XK_BackSpace && new_workspace_name.size()) |
1185 | new_workspace_name.erase(new_workspace_name.size()-1); | 1178 | new_workspace_name.erase(new_workspace_name.size()-1); |