Ling de83254b10 Fixes the fix

2018-04-29 15:50:26 +02:00

..

interface.dm

Fixes the fix

2018-04-29 15:50:26 +02:00

menu.dm

Proper fix for icon scaling preferences (#28475)

2017-06-15 22:57:41 -03:00

skin.dmf

makes the input bar bigger

2018-04-28 21:29:09 +02:00

stylesheet.dm

Port yog tickets

2018-04-24 19:53:29 +02:00