github.com/Interlisp.medley
1
0
Fork 0
mirror of synced 2026-01-12 00:42:56 +00:00
Code Issues Projects Releases Wiki Activity
Interlisp.medley/library/tedit
History
rmkaplan 428aac56ea
TEDIT.INSERT ends with a point selection (#2371)
2025-11-14 10:09:46 -08:00
..
TEDIT
TEDIT.INSERT ends with a point selection (#2371)
2025-11-14 10:09:46 -08:00
TEDIT-ABBREV
rmk122--Next round on fonts and MCCS (#2280)
2025-10-20 17:17:34 -07:00
TEDIT-ABBREV.LCOM
rmk122--Next round on fonts and MCCS (#2280)
2025-10-20 17:17:34 -07:00
TEDIT-BUTTONS
TEDIT: Better heuristic estimate of initial region, better management of margin bar (#2326)
2025-10-27 11:20:33 -07:00
TEDIT-BUTTONS.LCOM
TEDIT: Better heuristic estimate of initial region, better management of margin bar (#2326)
2025-10-27 11:20:33 -07:00
TEDIT-CHAT
Rmk88 split screen updates and color, eliminate reliance on STREAMHINT xpointer (#2119)
2025-07-03 00:06:10 -07:00
TEDIT-CHAT.LCOM
Rmk88 split screen updates and color, eliminate reliance on STREAMHINT xpointer (#2119)
2025-07-03 00:06:10 -07:00
TEDIT-COMMAND
Tedit PLOOKS cleanup plus default paralooks (#2259)
2025-08-16 13:45:28 -07:00
TEDIT-COMMAND.LCOM
Tedit PLOOKS cleanup plus default paralooks (#2259)
2025-08-16 13:45:28 -07:00
TEDIT-DEFAULT-USER.CM
Tedit 4th round (#1352)
2024-03-11 23:12:46 -07:00
tedit-exports.all
rmk122--Next round on fonts and MCCS (#2280)
2025-10-20 17:17:34 -07:00
TEDIT-FILE
Rmk131 Mapping MCCS filenames to (Mac?) UTF-8 file names (#2320)
2025-10-27 11:54:56 -07:00
TEDIT-FILE.LCOM
Rmk131 Mapping MCCS filenames to (Mac?) UTF-8 file names (#2320)
2025-10-27 11:54:56 -07:00
TEDIT-FIND
Rmk88 split screen updates and color, eliminate reliance on STREAMHINT xpointer (#2119)
2025-07-03 00:06:10 -07:00
TEDIT-FIND.LCOM
Rmk88 split screen updates and color, eliminate reliance on STREAMHINT xpointer (#2119)
2025-07-03 00:06:10 -07:00
TEDIT-FNKEYS
Tedit PLOOKS cleanup plus default paralooks (#2259)
2025-08-16 13:45:28 -07:00
TEDIT-FNKEYS.LCOM
Tedit PLOOKS cleanup plus default paralooks (#2259)
2025-08-16 13:45:28 -07:00
TEDIT-HCPY
rmk122--Next round on fonts and MCCS (#2280)
2025-10-20 17:17:34 -07:00
TEDIT-HCPY.LCOM
rmk122--Next round on fonts and MCCS (#2280)
2025-10-20 17:17:34 -07:00
TEDIT-HISTORY
Tedit PLOOKS cleanup plus default paralooks (#2259)
2025-08-16 13:45:28 -07:00
TEDIT-HISTORY.LCOM
Tedit PLOOKS cleanup plus default paralooks (#2259)
2025-08-16 13:45:28 -07:00
TEDIT-LOOKS
rmk122--Next round on fonts and MCCS (#2280)
2025-10-20 17:17:34 -07:00
TEDIT-LOOKS.LCOM
rmk122--Next round on fonts and MCCS (#2280)
2025-10-20 17:17:34 -07:00
TEDIT-MENU
TEDIT: Better heuristic estimate of initial region, better management of margin bar (#2326)
2025-10-27 11:20:33 -07:00
TEDIT-MENU.LCOM
TEDIT: Better heuristic estimate of initial region, better management of margin bar (#2326)
2025-10-27 11:20:33 -07:00
TEDIT-OLDFILE
Make sure TEDIT backing files close on error (#2284)
2025-09-09 23:44:18 -07:00
TEDIT-OLDFILE.LCOM
Make sure TEDIT backing files close on error (#2284)
2025-09-09 23:44:18 -07:00
TEDIT-PAGE
Rmk100 tedit catch up a few more fixes (#2204)
2025-07-15 15:02:40 -07:00
TEDIT-PAGE.LCOM
Rmk100 tedit catch up a few more fixes (#2204)
2025-07-15 15:02:40 -07:00
TEDIT-PCTREE
Tedit PLOOKS cleanup plus default paralooks (#2259)
2025-08-16 13:45:28 -07:00
TEDIT-PCTREE.LCOM
Tedit PLOOKS cleanup plus default paralooks (#2259)
2025-08-16 13:45:28 -07:00
TEDIT-RELEASENOTES.TEDIT
Tedit PLOOKS cleanup plus default paralooks (#2259)
2025-08-16 13:45:28 -07:00
TEDIT-RENAMES
Rmk36 tedit fifth round (#1857)
2024-12-23 11:07:54 -08:00
TEDIT-SCREEN
TEDIT: Better heuristic estimate of initial region, better management of margin bar (#2326)
2025-10-27 11:20:33 -07:00
TEDIT-SCREEN.LCOM
TEDIT: Better heuristic estimate of initial region, better management of margin bar (#2326)
2025-10-27 11:20:33 -07:00
TEDIT-SELECTION
Tedit PLOOKS cleanup plus default paralooks (#2259)
2025-08-16 13:45:28 -07:00
TEDIT-SELECTION.LCOM
Tedit PLOOKS cleanup plus default paralooks (#2259)
2025-08-16 13:45:28 -07:00
TEDIT-STREAM
rmk122--Next round on fonts and MCCS (#2280)
2025-10-20 17:17:34 -07:00
TEDIT-STREAM.LCOM
rmk122--Next round on fonts and MCCS (#2280)
2025-10-20 17:17:34 -07:00
TEDIT-STRESS
Rmk100 tedit catch up a few more fixes (#2204)
2025-07-15 15:02:40 -07:00
TEDIT-STRESS.LCOM
Rmk100 tedit catch up a few more fixes (#2204)
2025-07-15 15:02:40 -07:00
TEDIT-STYLES
Tedit PLOOKS cleanup plus default paralooks (#2259)
2025-08-16 13:45:28 -07:00
TEDIT-STYLES.LCOM
Tedit PLOOKS cleanup plus default paralooks (#2259)
2025-08-16 13:45:28 -07:00
TEDIT-TFBRAVO
rmk122--Next round on fonts and MCCS (#2280)
2025-10-20 17:17:34 -07:00
TEDIT-TFBRAVO.LCOM
rmk122--Next round on fonts and MCCS (#2280)
2025-10-20 17:17:34 -07:00
TEDIT-WINDOW
TEDIT: Better heuristic estimate of initial region, better management of margin bar (#2326)
2025-10-27 11:20:33 -07:00
TEDIT-WINDOW.LCOM
TEDIT: Better heuristic estimate of initial region, better management of margin bar (#2326)
2025-10-27 11:20:33 -07:00
TEDIT.LCOM
TEDIT.INSERT ends with a point selection (#2371)
2025-11-14 10:09:46 -08:00
TOPLINE.TEDIT
Rmk88 split screen updates and color, eliminate reliance on STREAMHINT xpointer (#2119)
2025-07-03 00:06:10 -07:00