Marc Abonce Seguin a2430154b9

fix selects in preferences so they look consistent (#2150)

2020-08-27 21:55:47 +02:00

..

logicodev

fix selects in preferences so they look consistent (#2150)

2020-08-27 21:55:47 +02:00

logicodev-dark

theme: oscar - tidy up trailing whitespaces and tab usage

2019-12-10 18:10:33 +01:00

pointhi

add toggle to resize infobox

2020-08-10 00:12:45 -07:00