Simplified lemma (as suggetsed by Stepan Holub)

incorporate target-language integer implementation of bit shifts into Main

represent constants with explicit typargs to avoid false positives for equality approximations like ‹card UNIV === card UNIV›

restored type reconstruction for nbe: remaining type variables must remain schematic for checking

tuned

merged

NEWS;

more documentation;

update jedit component;

more navigator positions;

clarified navigator events: avoid excessive 0 positions;

more robust: make double-sure that get_text does not crash (see on non-existent file);

more uniform treatment of open buffer vs. loaded file (NB: setCaretPosition includes selectionNone);

proper hyperlink column (amending 6898054035d6);

tuned: setCaretPosition already includes selectNone;

tuned signature;

clarified history: eliminate pointless var _current;

clarified target position: line start + offset (or column); more uniform treatment of open buffer vs. loaded file;

tuned source structure;

eliminated patch: imitate jEdit.gotoMarker more directly;

tuned;

tuned signature: proper private vars;

tuned signature;

unused;

suppress NavigatorPlugin and its dependencies -- requires to update jedit component;

prefer search bar (with navigation buttons) over old-fashioned tool bar -- requires to update jedit component;

add navigation buttons to search bar, depending on property "navigate-toolbar" -- requires to update jedit component;

remove goto_buffer in favour of uniform goto_file;