Don't apply Fn to space bar left and right

"home" and "end" on the spacebar slider are not useful.
This commit is contained in:
Jules Aguillon 2024-11-16 11:46:43 +01:00
parent fcbaa23ccf
commit 0d51f7ea1e

View File

@ -211,7 +211,6 @@ public final class KeyModifier
case Keyevent: name = apply_fn_keyevent(k.getKeyevent()); break; case Keyevent: name = apply_fn_keyevent(k.getKeyevent()); break;
case Event: name = apply_fn_event(k.getEvent()); break; case Event: name = apply_fn_event(k.getEvent()); break;
case Placeholder: name = apply_fn_placeholder(k.getPlaceholder()); break; case Placeholder: name = apply_fn_placeholder(k.getPlaceholder()); break;
case Cursor_move: name = apply_fn_cursormove(k.getCursorMove()); break;
} }
return (name == null) ? k : KeyValue.getKeyByName(name); return (name == null) ? k : KeyValue.getKeyByName(name);
} }
@ -257,16 +256,6 @@ public final class KeyModifier
} }
} }
private static String apply_fn_cursormove(short cur)
{
switch (cur)
{
case -1 : return "home"; // cursor_left
case 1 : return "end"; // cursor_right
default: return null;
}
}
private static KeyValue apply_ctrl(KeyValue k) private static KeyValue apply_ctrl(KeyValue k)
{ {
if (_modmap != null) if (_modmap != null)