|
wxMaxima
|
Implements the table that keeps menu check marks in sync with Maxima's variables. More...
Functions | |
| const std::vector< MaximaMenuSyncRow > & | MaximaMenuSyncRows () |
| The variable-to-menu-items table itself. | |
| bool | SyncMenusToMaximaVariable (wxMenuBar *menubar, const wxString &variable, const wxString &value) |
| Update the menu check marks that mirror one Maxima variable. | |
Implements the table that keeps menu check marks in sync with Maxima's variables.
| const std::vector< MaximaMenuSyncRow > & MaximaMenuSyncRows | ( | ) |
The variable-to-menu-items table itself.
Built on first use so the dynamically-allocated menu ids in EventIDs are guaranteed to exist, whatever the translation units' initialization order.
| bool SyncMenusToMaximaVariable | ( | wxMenuBar * | menubar, |
| const wxString & | variable, | ||
| const wxString & | value | ||
| ) |
Update the menu check marks that mirror one Maxima variable.
Looks the variable up in MaximaMenuSyncRows() and applies its row to the items in menubar (missing items are skipped, so a menu that only exists conditionally cannot make this fail).