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
Submitter: | Philippe Joyez <pjoyez> | ||
Submitted: | Mon 07 Feb 2022 10:43:31 AM UTC | ||
Category: | None | Action: | Update |
Privacy: | Public | Assigned to: | vdhoeven |
Open/Closed: | Open | Release: | |
Fixed Release: | Stable: |
Sat 19 Mar 2022 01:52:06 PM UTC, comment #2: |
Philippe Joyez <pjoyez>![]() |
Wed 16 Mar 2022 09:38:58 PM UTC, comment #1: There will be an overhaul of the way the preferences widgets work while working on more modern side panes. So having a complex temporary system for just one plug-in might be overkill.
|
Joris van der Hoeven <vdhoeven>![]() ![]() |
Mon 07 Feb 2022 10:43:31 AM UTC, original submission:
An additional tab "plugins" is displayed in the preferences only when such a widget has been defined.
|
Philippe Joyez <pjoyez>![]() |
Depends on the following items: None found
Items that depend on this one: None found
There are 0 votes so far. Votes easily highlight which items people would like to see resolved in priority, independently of the priority of the item set by tracker managers.
Sure, I can implement what I need through a specific menu item.
Yet, beyond my punctual need, I think it would be nice to have a more or less centralized and standardized UI for plugins preferences, just like other TeXmacs preferences.
I hope there can be provisions for such plugins preference widgets in the overhaul of the preferences widget system.