Josef Atmin Mon, 04 Sep 2017 10:33:48 -0700
Hello, the problem with the short cuts has gone away, the bug may be closed.
Josef.
