more robust selection: avoid duplicates via "batch" number;
evade attempts to select separator via keyboard or mouse (non-keyboard), assuming there are no consecutive separators;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE2dfc8885c0ee: tuned GUI;
- Branches
- Unknown
- Tags