antelle beda8972e8 fix #1333: item selection in the auto-type pop-up		2019-11-03 10:04:34 +01:00
..
auto-type-hint-view.js	fix #1300: selecting auto-type sequence items issues	2019-10-12 18:55:11 +02:00
auto-type-select-view.js	fix #1333: item selection in the auto-type pop-up	2019-11-03 10:04:34 +01:00