GNU TeXmacs - Bugs: bug #40837, Current interface for window names...
You are not allowed to post comments on this tracker with your current authentication level.
bug #40837: Current interface for window names / identifiers
History
No changes have been made to this item
Powered by Savane 3.16-2753.
Corresponding source code
