FilterWidget: actually persist user-set shortcuts.
Description
Description
Details
Details
- Committed
johanneszarl Jul 27 2019, 12:00 AM - Parents
- R463:3c48fe15f472: FilterWidget: don't display keyboard shortcuts.
- Branches
- Unknown
- Tags
johanneszarl | Jul 27 2019, 12:00 AM |