23 Nov
2021
23 Nov
'21
10:28 p.m.
On Tue, 2021-11-23 at 14:06 -0300, Alexandre Torres Porres wrote:
- the symbol box by default now is much wider, I always have to make
it shorter, who needs that big boxes most the time? can't we make the same as before?
I like it bigger. I usually make the number boxes bigger for them to display the full available precision. So it's only fair you have to make symbol boxes smaller from now on... na na na naaa na...
But then, no need to fight over it, since these days it is so easy to drag them small/big.
Roman