Revision fda2cb06
ref #5458 Add toggle button for abbreviations to settings menu
- extract constants for session attributes
Files
- added
- modified
- copied
- renamed
- deleted
| ID | fda2cb065a3a17ab4700be0f18fc64f915f79568 |
| Parent | 70ea5d03 |
| Child | 3f6f86d5 |
Added by Patrick Plitzner over 4 years ago
ref #5458 Add toggle button for abbreviations to settings menu