extra keys: fix crash when clicking on "empty" (undefined) key

This commit is contained in:
Leonid Plyushch
2019-02-05 00:09:28 +02:00
committed by Fredrik Fornwall
parent ed8bd4b569
commit c986a46fb9

View File

@@ -84,7 +84,7 @@ public final class ExtraKeysView extends GridLayout {
} else { } else {
// not a control char // not a control char
TerminalSession session = terminalView.getCurrentSession(); TerminalSession session = terminalView.getCurrentSession();
if (session != null) if (session != null && keyName.length() > 0)
session.write(keyName); session.write(keyName);
} }
} }