Fix tabbing between mini editors

Close #315
Close #316