some more icon handling tuning, to improve appearance on High DPI displays
Description
Description
Details
Details
- Committed
the Mar 17 2018, 6:18 PM - Parents
- R347:a8dfcdeb9d32: show error message if no plugins were found and terminate
- Branches
- Unknown
- Tags