private void addWidget( LineReader lineReader, Widget widget, String name, CharSequence keySeq) { lineReader.getWidgets().put(name, widget); lineReader.getKeyMaps().get(LineReader.EMACS).bind(widget, keySeq); lineReader.getKeyMaps().get(LineReader.VIINS).bind(widget, keySeq); }
private void addWidget( LineReader lineReader, Widget widget, String name, CharSequence keySeq) { lineReader.getWidgets().put(name, widget); lineReader.getKeyMaps().get(LineReader.EMACS).bind(widget, keySeq); lineReader.getKeyMaps().get(LineReader.VIINS).bind(widget, keySeq); }
Set<String> widgets = new TreeSet<>(reader.getWidgets().keySet()); if (!opt.isSet("a")){ widgets.removeAll(reader.getBuiltinWidgets().keySet()); reader.getWidgets().put(name, widgetCreator.apply(func)); } else if (opt.isSet("D")) { for (String name : opt.args()) { reader.getWidgets().remove(name); return; Widget org = reader.getWidgets().get(opt.args().get(0)); if (org == null) { err.println("widget: no such widget `" + opt.args().get(0) + "'"); return; reader.getWidgets().put(opt.args().get(1), org);
Set<String> widgets = new TreeSet<>(reader.getWidgets().keySet()); if (!opt.isSet("a")){ widgets.removeAll(reader.getBuiltinWidgets().keySet()); reader.getWidgets().put(name, widgetCreator.apply(func)); } else if (opt.isSet("D")) { for (String name : opt.args()) { reader.getWidgets().remove(name); return; Widget org = reader.getWidgets().get(opt.args().get(0)); if (org == null) { err.println("widget: no such widget `" + opt.args().get(0) + "'"); return; reader.getWidgets().put(opt.args().get(1), org);