docs: protected void updateFromSelection() {
      DBIDSelection sel = context.getSelection();
      if(sel != null) {
        this.dbids = DBIDUtil.newArray(sel.getSelectedIds());
        this.dbids.sort();
      }
      else {
        this.dbids = DBIDUtil.newArray();
      }
    }