Sun, 14 May 2017 21:48:34 +0200 |
Jan Vrany |
Keyboard mapping: initialize default shortcuts in `DeviceWorkstation`
jv
|
file |
diff |
annotate
|
Thu, 09 Feb 2017 00:17:19 +0000 |
Jan Vrany |
Keyboard mapping: issue warning if one attempts to bind a shortcut to an action which already bound
jv
|
file |
diff |
annotate
|
Thu, 11 May 2017 22:03:21 +0200 |
Jan Vrany |
Keyboard mapping: refactored `KeyboardMap` to distinguish between a binding and an alias(es)
jv
|
file |
diff |
annotate
|
Wed, 08 Feb 2017 23:58:18 +0000 |
Jan Vrany |
Allow individual applications to define their own shortcut mapping
jv
|
file |
diff |
annotate
|
Sat, 04 Feb 2017 23:21:45 +0000 |
Jan Vrany |
Allow individual applications to define their own shortcut mapping
jv
|
file |
diff |
annotate
|
Thu, 18 Dec 2014 17:13:06 +0100 |
Claus Gittinger |
class: KeyboardMap
|
file |
diff |
annotate
|
Tue, 29 Jul 2014 21:26:30 +0200 |
Claus Gittinger |
class: KeyboardMap
|
file |
diff |
annotate
|
Mon, 01 Jun 2009 10:43:53 +0200 |
Claus Gittinger |
category change
|
file |
diff |
annotate
|
Tue, 12 Nov 1996 10:41:01 +0100 |
Claus Gittinger |
checkin from browser
rel3-1-2
|
file |
diff |
annotate
|
Thu, 25 Apr 1996 18:35:00 +0200 |
Claus Gittinger |
documentation
|
file |
diff |
annotate
|
Tue, 23 Apr 1996 21:57:07 +0200 |
Claus Gittinger |
commentary
|
file |
diff |
annotate
|
Thu, 23 Nov 1995 18:45:33 +0100 |
Claus Gittinger |
checkin from browser
|
file |
diff |
annotate
|
Thu, 23 Nov 1995 11:38:43 +0100 |
Claus Gittinger |
checkin from browser
|
file |
diff |
annotate
|
Sat, 11 Nov 1995 16:54:10 +0100 |
Claus Gittinger |
uff - version methods changed to return stings
|
file |
diff |
annotate
|
Mon, 06 Feb 1995 01:38:04 +0100 |
claus |
*** empty log message ***
|
file |
diff |
annotate
|
Mon, 10 Oct 1994 03:34:45 +0100 |
claus |
*** empty log message ***
|
file |
diff |
annotate
|
Fri, 05 Aug 1994 03:16:44 +0200 |
claus |
*** empty log message ***
|
file |
diff |
annotate
|
Fri, 03 Jun 1994 02:54:39 +0200 |
claus |
*** empty log message ***
|
file |
diff |
annotate
|
Wed, 13 Oct 1993 01:46:50 +0100 |
claus |
(none)
|
file |
diff |
annotate
|
Fri, 16 Jul 1993 11:42:20 +0200 |
claus |
Initial revision
|
file |
diff |
annotate
|