Be a bit more careful with the kbd hack ... not that I noticed any problems.
(Proper fix probaly necessary in OSG. On my TODO list.)
This commit is contained in:
parent
0a15636bd4
commit
613e693656
1 changed files with 1 additions and 1 deletions
|
@ -9,7 +9,7 @@ var start = func {
|
|||
listener = setlistener("/devices/status/keyboard/event", func(event) {
|
||||
var key = event.getNode("key");
|
||||
if (!event.getNode("pressed").getValue()) {
|
||||
if (key.getValue() == `;`) # FIXME hack around kbd bug
|
||||
if (cmd == "" and key.getValue() == `;`) # FIXME hack around kbd bug
|
||||
key.setValue(`:`);
|
||||
return;
|
||||
}
|
||||
|
|
Loading…
Reference in a new issue