GitLab

at 2020-12-24T11:47:38+01:00

 Sur les éditeurs de date simple utiliser le même raccourci pour ouvrir la popup de date que pour une liste à sélection multiple (↓) - Closes #1694

Commencer les raccourcis claviers pour changer d'onglet à partir de **shift F1** et plus **shift F5** - Closes #1695

 import org.nuiton.jaxx.widgets.text.UrlEditor;

 

 import javax.swing.ActionMap;

+import javax.swing.InputMap;

 import javax.swing.JComboBox;

 import javax.swing.JComponent;

 import javax.swing.JLabel;

         initializerContext.checkFirstPass();

         editor.setLocale(getClientConfig().getLocale());

         editor.init();

+        InputMap pickerInputMap = editor.getDateEditor().getInputMap(JComponent.WHEN_ANCESTOR_OF_FOCUSED_COMPONENT);

+        pickerInputMap.put(KeyStroke.getKeyStroke("pressed DOWN"), "TOGGLE_POPUP");

         JTextComponents.addAutoSelect(editor.getDateEditor().getEditor());

     }

 

             int tabCount = tabbedPane.getTabCount();

             for (int i = 0; i < tabCount; i++) {

                 String titleAt = tabbedPane.getTitleAt(i);

-                KeyStroke keyStroke = Objects.requireNonNull(KeyStroke.getKeyStroke(keyStrokePrefix + (i + 6)));

+                KeyStroke keyStroke = Objects.requireNonNull(KeyStroke.getKeyStroke(keyStrokePrefix + (i + 1)));

                 tabbedPane.setTitleAt(i, titleAt + ObserveKeyStrokesSupport.keyStrokeToStr(keyStroke));

                 GoToTab action = new GoToTab(tabbedPaneName, i, keyStroke);

                 init(ui, null, action);

Tony CHEMIT pushed to branch develop at ultreiaio / ird-observe

Commits:

2 changed files:

Changes: