-
Harald Judt authored
Instead of using tabs for alignment, which is hard to do and unreliable, force monospace font for the tooltips. This way, the values can be aligned much easier using spaces.
65200087
Instead of using tabs for alignment, which is hard to do and unreliable, force monospace font for the tooltips. This way, the values can be aligned much easier using spaces.