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
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.14-962f.
Corresponding source code