GNU TeXmacs - Bugs: bug #53069, TeXmacs input widgets should have...
You are not allowed to post comments on this tracker with your current authentication level.
bug #53069: TeXmacs input widgets should have a menu and an adapted interface
Follow 2 latest changes.
Date | Changed by | Updated Field | Previous Value | => | Replaced by |
---|---|---|---|---|---|
2020-10-31 | vdhoeven | Summary | TeXmacs input widgets have no menu | ![]() |
TeXmacs input widgets should have a menu and an adapted interface |
2018-02-05 | vdhoeven | Priority | 5 - Normal | ![]() |
9 - Immediate |
Powered by Savane 3.14-59cd.
Corresponding source code