a way for the user to change settings window size
--user can now use Meta+ScrollWheel in order to
increase/decrease the size of the dock settings
window according to its preference
BUG: 397038
Description
Description
Details
Details
- Committed
mvourlakos Aug 2 2018, 10:52 PM - Parents
- R878:04b2d84abb23: decrease a bit the settings height
- Branches
- Unknown
- Tags