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