| Sat, 15 Feb 2025 14:17:38 +0100 |
wenzelm |
more accurate patch: change jEdit source directory and copy to installation directory;
|
changeset |
files
|
| Sat, 15 Feb 2025 14:00:24 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Sat, 15 Feb 2025 00:20:02 +0100 |
Fabian Huch |
update find_facts_web component;
|
changeset |
files
|
| Sat, 15 Feb 2025 00:12:56 +0100 |
Fabian Huch |
properly handle whitespace characters: must be escaped individually;
|
changeset |
files
|
| Fri, 14 Feb 2025 23:46:40 +0100 |
Fabian Huch |
tuned UI;
|
changeset |
files
|
| Fri, 14 Feb 2025 20:17:41 +0100 |
Fabian Huch |
tuned doc;
|
changeset |
files
|
| Fri, 14 Feb 2025 20:12:18 +0100 |
Fabian Huch |
clarified;
|
changeset |
files
|
| Fri, 14 Feb 2025 20:10:57 +0100 |
Fabian Huch |
limit size of overly large blocks;
|
changeset |
files
|
| Fri, 14 Feb 2025 19:34:27 +0100 |
Fabian Huch |
proper synonyms: special characters need to be escaped;
|
changeset |
files
|
| Fri, 14 Feb 2025 18:06:51 +0100 |
Fabian Huch |
tuned;
|
changeset |
files
|
| Fri, 14 Feb 2025 17:40:21 +0100 |
Fabian Huch |
merged
|
changeset |
files
|
| Fri, 14 Feb 2025 17:17:47 +0100 |
Fabian Huch |
serve Browser_Info in Find_Facts, addressable by relative paths (instead of absolute URLs that may have inconsistent data);
|
changeset |
files
|