GNU TeXmacs - Patches: patch #7232, popup menu changes according to...
You are not allowed to post comments on this tracker with your current authentication level.
patch #7232: popup menu changes according to current mode
Submitter: | Zou Hu <zohooo> | ||
Submitted: | Sun 04 Jul 2010 06:54:38 AM UTC | ||
Category: | User Interface | Action: | Done |
Privacy: | Public | Assigned to: | vdhoeven |
Open/Closed: | Closed | Release: | |
Fixed Release: | Stable: |
Sun 02 Mar 2014 10:30:16 PM UTC, comment #2: |
Joris van der Hoeven <vdhoeven> |
Thu 30 Aug 2012 11:27:39 AM UTC, comment #1: I think that context dependent popup menus are now provided by the focus-menu. It is however true that the result is often too big and that this has to be improved, but the patch provided can no longer be applied as is. Also, each user will have a very particular idea about what must be present in the menu and what not, so it'll be hard to settle on something... |
Miguel de Benito <mdbenito> |
Sun 04 Jul 2010 06:54:38 AM UTC, original submission:
This patch make texmacs popup menu change according to current mode. Also, only frequently used items is shown in popup menu.
|
Zou Hu <zohooo> |
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.
Follow 6 latest changes.
Date | Changed by | Updated Field | Previous Value | => | Replaced by |
---|---|---|---|---|---|
2014-03-02 | vdhoeven | Action | Update | Done | |
Assigned to | None | vdhoeven | |||
Open/Closed | Open | Closed | |||
2012-08-30 | mdbenito | Action | None | Update | |
2010-08-04 | ghostwheel | Attached File | - | Added diffs, #21140 | |
2010-07-04 | zohooo | Attached File | - | Added patch02.diff, #20890 |
Powered by Savane 3.13-d3ae.
Corresponding source code
In revision 8245, I did the necessary so that we now have two possible popup menus: the usual focus menu (default) and the main menu (when holding Shift or Control).