core: config option for option-that-click
core: fix for showsVerticalScrollBar/showsHorizontalScrollBarHTML
events: global key handler for esc
core: Config.loadUserConfigModule with optional username
events: experimental -- show pressed keys with .showPressedKeys = true
ide: let windows of common tools automatically comeforward
ide: let tools of common tools automatically comeforward
events: fixing global escape event
ide: fixing window navigator when only one window is there