Revision c1c83a38
fix #5671: add filter element for selection dialog
Files
- added
- modified
- copied
- renamed
- deleted
ID | c1c83a38d07bdc4286ce7abb8b30789d0c32e637 |
Parent | a5a9fcde |
Child | 79be504a |
Added by Katja Luther about 4 years ago
fix #5671: add filter element for selection dialog