Jiří Barouš bb5022bf39 Varedit remembers search + minor styles (#10393) ...

Varedit now remembers what was in the 'search' field when you click the 'refresh' link. This makes our miserable lives a little less miserable.
    Tweaked varedit styles ever so slightly: it will now likely use a "better" monospace font depending on what's on your system. Var names are now bold and also monospace.
    The window spawns a tiny bit bigger.

2020-11-01 11:44:48 +02:00

1018 B

Raw Blame History

View Raw