github.com/Interlisp.medley
1
0
Fork 0
mirror of synced 2026-01-13 15:37:38 +00:00
Code Issues Projects Releases Wiki Activity
Interlisp.medley/library/tedit
History
rmkaplan bc7269e3c4
Inspectcode scrolls, has the correct window title (#2222) 
* Inspectcode scrolls, has the correct window title

* Add promptwindo so M-f search strings are locally visible

* Fix FILETYPE for LLDISPLAY

* MEDLEYFONTFORMAT More efficient store and read of numeric Interlisp arrays
2025-07-30 15:42:20 -07:00
..
TEDIT
Rmk88 split screen updates and color, eliminate reliance on STREAMHINT xpointer (#2119)
2025-07-03 00:06:10 -07:00
TEDIT-ABBREV
Rmk88 split screen updates and color, eliminate reliance on STREAMHINT xpointer (#2119)
2025-07-03 00:06:10 -07:00
TEDIT-ABBREV.LCOM
Rmk88 split screen updates and color, eliminate reliance on STREAMHINT xpointer (#2119)
2025-07-03 00:06:10 -07:00
TEDIT-BUTTONS
Rmk88 split screen updates and color, eliminate reliance on STREAMHINT xpointer (#2119)
2025-07-03 00:06:10 -07:00
TEDIT-BUTTONS.LCOM
Rmk88 split screen updates and color, eliminate reliance on STREAMHINT xpointer (#2119)
2025-07-03 00:06:10 -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: New architecture for key bindings, plus better suggestions for initial window regions (#2070)
2025-03-31 11:43:13 -07:00
TEDIT-COMMAND.LCOM
Rmk88 split screen updates and color, eliminate reliance on STREAMHINT xpointer (#2119)
2025-07-03 00:06:10 -07:00
TEDIT-DEFAULT-USER.CM
Tedit 4th round (#1352)
2024-03-11 23:12:46 -07:00
tedit-exports.all
Rmk100 tedit catch up a few more fixes (#2204)
2025-07-15 15:02:40 -07:00
TEDIT-FILE
Rmk100 tedit catch up a few more fixes (#2204)
2025-07-15 15:02:40 -07:00
TEDIT-FILE.LCOM
Rmk100 tedit catch up a few more fixes (#2204)
2025-07-15 15:02:40 -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
Rmk88 split screen updates and color, eliminate reliance on STREAMHINT xpointer (#2119)
2025-07-03 00:06:10 -07:00
TEDIT-FNKEYS.LCOM
Rmk88 split screen updates and color, eliminate reliance on STREAMHINT xpointer (#2119)
2025-07-03 00:06:10 -07:00
TEDIT-HCPY
Rmk88 split screen updates and color, eliminate reliance on STREAMHINT xpointer (#2119)
2025-07-03 00:06:10 -07:00
TEDIT-HCPY.LCOM
Rmk88 split screen updates and color, eliminate reliance on STREAMHINT xpointer (#2119)
2025-07-03 00:06:10 -07:00
TEDIT-HISTORY
Rmk88 split screen updates and color, eliminate reliance on STREAMHINT xpointer (#2119)
2025-07-03 00:06:10 -07:00
TEDIT-HISTORY.LCOM
Rmk88 split screen updates and color, eliminate reliance on STREAMHINT xpointer (#2119)
2025-07-03 00:06:10 -07:00
TEDIT-LOOKS
Rmk100 tedit catch up a few more fixes (#2204)
2025-07-15 15:02:40 -07:00
TEDIT-LOOKS.LCOM
Rmk100 tedit catch up a few more fixes (#2204)
2025-07-15 15:02:40 -07:00
TEDIT-MENU
Rmk100 tedit catch up a few more fixes (#2204)
2025-07-15 15:02:40 -07:00
TEDIT-MENU.LCOM
Rmk100 tedit catch up a few more fixes (#2204)
2025-07-15 15:02:40 -07:00
TEDIT-OLDFILE
TEDIT: Align paralooks with charlooks, recompile all files, miscellaneous updates (#2021)
2025-02-24 21:24:53 -08:00
TEDIT-OLDFILE.LCOM
Rmk88 split screen updates and color, eliminate reliance on STREAMHINT xpointer (#2119)
2025-07-03 00:06:10 -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: Align paralooks with charlooks, recompile all files, miscellaneous updates (#2021)
2025-02-24 21:24:53 -08:00
TEDIT-PCTREE.LCOM
Rmk88 split screen updates and color, eliminate reliance on STREAMHINT xpointer (#2119)
2025-07-03 00:06:10 -07:00
TEDIT-RELEASENOTES.PDF
TEDIT: New architecture for key bindings, plus better suggestions for initial window regions (#2070)
2025-03-31 11:43:13 -07:00
TEDIT-RELEASENOTES.TEDIT
Rmk100 tedit catch up a few more fixes (#2204)
2025-07-15 15:02:40 -07:00
TEDIT-RENAMES
Rmk36 tedit fifth round (#1857)
2024-12-23 11:07:54 -08:00
TEDIT-SCREEN
Rmk100 tedit catch up a few more fixes (#2204)
2025-07-15 15:02:40 -07:00
TEDIT-SCREEN.LCOM
Rmk100 tedit catch up a few more fixes (#2204)
2025-07-15 15:02:40 -07:00
TEDIT-SELECTION
Rmk88 split screen updates and color, eliminate reliance on STREAMHINT xpointer (#2119)
2025-07-03 00:06:10 -07:00
TEDIT-SELECTION.LCOM
Rmk88 split screen updates and color, eliminate reliance on STREAMHINT xpointer (#2119)
2025-07-03 00:06:10 -07:00
TEDIT-STREAM
Rmk88 split screen updates and color, eliminate reliance on STREAMHINT xpointer (#2119)
2025-07-03 00:06:10 -07:00
TEDIT-STREAM.LCOM
Rmk88 split screen updates and color, eliminate reliance on STREAMHINT xpointer (#2119)
2025-07-03 00:06:10 -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: Align paralooks with charlooks, recompile all files, miscellaneous updates (#2021)
2025-02-24 21:24:53 -08:00
TEDIT-STYLES.LCOM
Rmk88 split screen updates and color, eliminate reliance on STREAMHINT xpointer (#2119)
2025-07-03 00:06:10 -07:00
TEDIT-TFBRAVO
Rmk88 split screen updates and color, eliminate reliance on STREAMHINT xpointer (#2119)
2025-07-03 00:06:10 -07:00
TEDIT-TFBRAVO.LCOM
Rmk88 split screen updates and color, eliminate reliance on STREAMHINT xpointer (#2119)
2025-07-03 00:06:10 -07:00
TEDIT-WINDOW
Inspectcode scrolls, has the correct window title (#2222)
2025-07-30 15:42:20 -07:00
TEDIT-WINDOW.LCOM
Inspectcode scrolls, has the correct window title (#2222)
2025-07-30 15:42:20 -07:00
TEDIT.LCOM
Rmk88 split screen updates and color, eliminate reliance on STREAMHINT xpointer (#2119)
2025-07-03 00:06:10 -07:00
TOPLINE.TEDIT
Rmk88 split screen updates and color, eliminate reliance on STREAMHINT xpointer (#2119)
2025-07-03 00:06:10 -07:00