Merge remote-tracking branch 'origin/develop-1.8' into ui-enhancements-2.0

This commit is contained in:
kepler155c@gmail.com
2020-03-31 09:59:15 -06:00
9 changed files with 78 additions and 71 deletions

View File

@@ -164,6 +164,7 @@ local page = UI.Page {
f = 'files',
s = 'shell',
l = 'lua',
n = 'network',
[ 'control-n' ] = 'new',
delete = 'delete',
},
@@ -448,6 +449,9 @@ function page:eventHandler(event)
elseif event.type == 'files' then
shell.switchTab(shell.openTab(Alt.get('files')))
elseif event.type == 'network' then
shell.switchTab(shell.openTab('network'))
elseif event.type == 'focus_change' then
if event.focused.parent.UIElement == 'Icon' then
event.focused.parent:scrollIntoView()