Fix Tedit tabs, marginbar, object selection, bravo page numbers

[rmkaplan]

This addresses the following issues:

• A longstanding bug in the implementation of default tabs
• A bug in the interpretation of image object buttoneventinfns that was introduced in the previous revision dealing with mouse scrolling in and out of a window
• Display glitches in the layout of the margin bar in the paragraph looks menu

This also includes code for doing page numbers by means of a page number image object in an ordinary heading paragraph. As a first step, I am trying this more flexible strategy for page numbers created by the bravo converter, so as not to muck up any existing files--that comes later.

There is one menu glitch that I have not been able to figure out. If the caret is blinking in a menu input field (say the name of a font family) and you click on one of the other buttons at just the wrong time, you will see the caret stuck on the screen. The button needs to wait until the caret is down before it grabs control, or it needs to force it down--any suggestions on how to do that?

[pamoroso]

I haven't noticed anything unusual in my initial testing on Linux Mint 22.1 Cinnamon.

[nbriggs]

I have an idea that the caret blinks via a TTYBACKGROUNDFNS thing- I’d start looking there for any ideas about how to synchronize with it coming down

[rmkaplan]

TTYBACKGROUNDFNS does have the \CARET.FLASH?, but Tedit seems to run its own (in \TEDIT.COMMAND.LOOP). I think that's because it is causing the caret to flash where the typein is visible in all the panes of a split window (even though menus are presumably never split) The toggle buttons are interpreted in the mouse process (\TEDIT.BUTTONEVENTFN) while the caret is being flashed in the Tedit process. I think I tried having the button give the TTY back to the main window before it did anything else, but that didn't help.

…

On Jun 29, 2026, at 5:50 AM, Nick Briggs ***@***.***> wrote: nbriggs left a comment (Interlisp/medley#2678) <#2678 (comment)> I have an idea that the caret blinks via a TTYBACKGROUNDFNS thing- I’d start looking there for any ideas about how to synchronize with it coming down — Reply to this email directly, view it on GitHub <#2678?email_source=notifications&email_token=AQSTUJKCQUJTR767T3LME7D5CJQXVA5CNFSNUABFM5UWIORPF5TWS5BNNB2WEL2JONZXKZKDN5WW2ZLOOQXTIOBTGI3TQMBXGE42M4TFMFZW63VGMF2XI2DPOKSWK5TFNZ2KYZTPN52GK4S7MNWGSY3L#issuecomment-4832780719>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AQSTUJK4ZXA54BI22D6YHVD5CJQXVAVCNFSNUABFKJSXA33TNF2G64TZHMZDQMJVGE4TSNRUHNEXG43VMU5TINZWGU4DONZVHE3KC5QC>. You are receiving this because you authored the thread.