• Allow devtools close via keyboard shortcut

    bbondy committed Apr 28, 2017
    Fix #45