1
0
mirror of synced 2026-03-09 12:40:30 +00:00
Files
Interlisp.medley/sources
rmkaplan 3aa58b6374 TEDIT: Align paralooks with charlooks, recompile all files, miscellaneous updates (#2021)
* Fix up Move command

* change paralooks record, recompile, other updates

* Fix right arrow and EOF

* Caret position after NEXT, add FILESTREAM textprop, CH#/LEN args to TEDIT.SEL.AS.STRING

* Added LLK

* Arrows-movement in menus is confined to fields

* Slightly better menu test

* TEXTPROP glitch, create window after getting file

* remove a debug call

* forward/backward forgets original x position

* Opentext stream preps for window-region prompt width

* typing resets the leftarrow X position

* Removing cached X position for up and down arrows

I tied this to the DIRTY flag and recompiled its users.  Also separately fixed the setsel and find functions to clobber the cache

* Fencepost glitrch

* add OPENWIDTH property

* Selection past the middle goes to the right

* bug fix

* Set up for paralooks name changes to avoid future confusions

* Update tedit-exports.all

* One more systematic name change for char/para looks parallelism

* TEDITSTRING applies initial props

* TEDIT.CARETLOOKS returns oldlooks, TEDIT.PUT has a QUIET flag

QUITEFLAG suppresses prompt printing
2025-02-24 21:24:53 -08:00
..
2021-04-28 15:36:03 -07:00
2021-04-28 15:36:03 -07:00
2021-03-12 17:27:19 -08:00
2024-12-23 11:07:54 -08:00
2024-12-23 11:07:54 -08:00
2021-04-28 15:36:03 -07:00
2021-04-28 15:36:03 -07:00
2021-04-28 15:36:03 -07:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2022-07-21 10:36:19 -07:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2021-04-28 15:36:03 -07:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2021-04-28 15:36:03 -07:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2023-10-17 21:54:17 -07:00
2020-11-15 19:22:14 -08:00
2021-04-28 15:36:03 -07:00
2020-11-15 19:22:14 -08:00
2022-09-05 20:27:08 -07:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2021-04-28 15:36:03 -07:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2024-04-09 15:41:11 -07:00
2024-04-09 15:41:11 -07:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2024-04-09 15:41:11 -07:00
2021-04-28 15:36:03 -07:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2024-03-16 19:57:20 -07:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2021-04-28 15:36:03 -07:00
2020-11-15 19:22:14 -08:00
2021-11-29 22:24:29 -08:00
2020-11-15 19:22:14 -08:00
2023-10-17 21:54:17 -07:00
2023-10-17 21:54:17 -07:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2022-06-13 15:20:41 -07:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2021-04-28 15:36:03 -07:00
2020-11-15 19:22:14 -08:00
2022-04-24 13:36:50 -07:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2021-04-28 15:36:03 -07:00
2020-11-15 19:22:14 -08:00
2021-04-28 17:57:07 -07:00
2021-04-28 17:57:07 -07:00
2021-04-28 15:36:03 -07:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2021-04-28 15:36:03 -07:00
2020-11-15 19:22:14 -08:00
2024-05-21 22:34:30 -07:00
2024-05-21 22:34:30 -07:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2023-12-09 22:50:39 -08:00
2023-07-08 13:17:18 -07:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2021-04-28 15:36:03 -07:00
2020-11-15 19:22:14 -08:00
2022-12-31 08:44:22 -08:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2023-12-09 22:50:39 -08:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2021-10-27 22:35:23 -07:00
2021-04-28 15:36:03 -07:00
2020-11-15 19:22:14 -08:00
2021-03-22 20:22:22 -07:00
2020-11-15 19:22:14 -08:00
2021-04-28 15:36:03 -07:00
2020-11-15 19:22:14 -08:00
2021-04-28 15:36:03 -07:00
2020-11-15 19:22:14 -08:00
2021-04-28 15:36:03 -07:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2021-02-12 20:33:40 -08:00
2023-12-09 22:50:39 -08:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2021-04-28 15:36:03 -07:00
2020-11-15 19:22:14 -08:00
2021-04-28 17:57:07 -07:00
2021-04-28 15:36:03 -07:00
2020-11-15 19:22:14 -08:00
2021-04-28 15:36:03 -07:00
2020-11-15 19:22:14 -08:00
2021-04-28 15:36:03 -07:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2021-04-28 15:36:03 -07:00
2020-11-15 19:22:14 -08:00
2023-06-17 21:40:34 -07:00
2023-10-17 21:54:17 -07:00
2023-10-17 21:54:17 -07:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2021-04-28 15:36:03 -07:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2021-04-28 15:36:03 -07:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2021-04-28 15:36:03 -07:00
2021-04-28 15:36:03 -07:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2021-04-28 15:36:03 -07:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2021-04-28 15:36:03 -07:00
2021-03-12 17:27:19 -08:00
2021-04-28 15:36:03 -07:00
2020-11-15 19:22:14 -08:00
2021-04-28 15:36:03 -07:00
2020-11-15 19:22:14 -08:00
2024-12-23 11:07:54 -08:00
2024-12-23 11:07:54 -08:00
2020-11-15 19:22:14 -08:00
2024-12-23 11:07:54 -08:00
2024-12-23 11:07:54 -08:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2021-04-28 15:36:03 -07:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00