resource/.DS_Store@4243fcc0aa5c
resource/.DS_Store
Sun, 01 Feb 2026 18:38:06 +0100
- author
- Olaf Wintermann <olaf.wintermann@gmail.com>
- date
- Sun, 01 Feb 2026 18:38:06 +0100
- changeset 1067
- 4243fcc0aa5c
- parent 875
- 0575ca45f1bb
- permissions
- -rw-r--r--
add functions for scrolling a textarea to a specific position (GTK)
