Auto focus and select tab size for easy editing

Author: fredsa

src/ide/settings.ts

@@ -195,6 +195,7 @@ export function openSettings() {
   });
   dialog.on('shown.bs.modal', () => {
     updateUI(settings);
+    $('#setting_tabSize').focus().select();
   });
   dialog.on('keydown', (e) => {
     if (e.key === 'Enter') {