Files
Henrik Lemke e4d074cb86 features() and docs() in the session instead of URLs in the banner
features(): the "Did you know?" tip window (same as eco.tip()); docs():
the docs site in the web browser, or a given page (docs("scanning")),
printing the URL where there is no display. Both are imported into the
session at startup, and the banner names them instead of showing links.
2026-10-25 23:24:01 +01:00
..
2026-08-30 22:50:56 +02:00
2026-09-11 15:29:43 +02:00
2026-09-07 16:54:05 +02:00
2026-09-07 16:54:05 +02:00
2026-10-13 19:16:32 +02:00
2026-09-06 16:34:29 +02:00
2026-08-21 15:10:25 +02:00
2026-08-21 15:10:25 +02:00
2026-09-06 21:05:04 +02:00
2026-09-06 16:34:29 +02:00
2026-08-21 15:10:25 +02:00
2026-08-21 15:10:25 +02:00
2026-08-21 15:10:25 +02:00
2026-09-07 17:11:28 +02:00
2026-09-22 11:56:41 +02:00
2026-10-13 19:16:32 +02:00
2026-08-21 15:10:25 +02:00
2026-08-30 22:50:56 +02:00
2026-09-06 16:34:29 +02:00
2026-09-11 16:04:34 +02:00
2026-09-11 16:04:34 +02:00
2026-09-06 16:34:29 +02:00