GNU TeXmacs - Patches: patch #10177, allow plugins to have a preference...
You are not allowed to post comments on this tracker with your current authentication level.
patch #10177: allow plugins to have a preference widget
History
Follow 3 latest changes.
| Date | Changed by | Updated Field | Previous Value | => | Replaced by |
|---|---|---|---|---|---|
| 2022-03-16 | vdhoeven | Action | None | Update | |
| Assigned to | None | vdhoeven | |||
| 2022-02-07 | pjoyez | Attached File | - | Added 3-preference-widgets-for-plugins.patch, #52818 |
Powered by Savane 3.16-ed84.
Corresponding source code
