use of com.google.gerrit.extensions.client.KeyMapType in project gerrit by GerritCodeReview.
the class EditPreferencesBox method onKeyMap.
@UiHandler("keyMap")
void onKeyMap(@SuppressWarnings("unused") ChangeEvent e) {
KeyMapType keyMapType = KeyMapType.valueOf(keyMap.getValue(keyMap.getSelectedIndex()));
prefs.keyMapType(keyMapType);
if (view != null) {
view.setOption("keyMap", keyMapType.name().toLowerCase());
}
}
Aggregations