| Fri, 04 Apr 2025 15:02:49 +0200 |
wenzelm |
clarified target position: line start + offset (or column);
|
changeset |
files
|
| Fri, 04 Apr 2025 14:46:38 +0200 |
wenzelm |
tuned source structure;
|
changeset |
files
|
| Fri, 04 Apr 2025 11:37:27 +0200 |
wenzelm |
eliminated patch: imitate jEdit.gotoMarker more directly;
|
changeset |
files
|
| Fri, 04 Apr 2025 11:21:01 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Fri, 04 Apr 2025 11:00:06 +0200 |
wenzelm |
tuned signature: proper private vars;
|
changeset |
files
|
| Fri, 04 Apr 2025 10:58:39 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Fri, 04 Apr 2025 10:54:37 +0200 |
wenzelm |
unused;
|
changeset |
files
|
| Thu, 03 Apr 2025 12:52:04 +0200 |
wenzelm |
suppress NavigatorPlugin and its dependencies -- requires to update jedit component;
|
changeset |
files
|
| Thu, 03 Apr 2025 12:37:14 +0200 |
wenzelm |
prefer search bar (with navigation buttons) over old-fashioned tool bar -- requires to update jedit component;
|
changeset |
files
|
| Thu, 03 Apr 2025 12:04:13 +0200 |
wenzelm |
add navigation buttons to search bar, depending on property "navigate-toolbar" -- requires to update jedit component;
|
changeset |
files
|
| Wed, 02 Apr 2025 23:22:59 +0200 |
wenzelm |
remove goto_buffer in favour of uniform goto_file;
|
changeset |
files
|
| Wed, 02 Apr 2025 23:18:12 +0200 |
wenzelm |
support goto_file / hyperlink_file with offset;
|
changeset |
files
|
| Wed, 02 Apr 2025 23:16:24 +0200 |
wenzelm |
update jedit component;
|
changeset |
files
|
| Wed, 02 Apr 2025 22:59:34 +0200 |
wenzelm |
unused (see also 1046a69fabaa);
|
changeset |
files
|