Fixed preference panel size.
I went with 200 instead of the suggested 100 as width since it felt a bit cramped at 100.
Happy to change to 100 if needed.
(I also didn't run fmt since it seems to require nightly perhaps as I got a lot of changes when running it)
Fixed preference panel size. I went with
200instead of the suggested100as width since it felt a bit cramped at100. Happy to change to100if needed.(I also didn't run
fmtsince it seems to require nightly perhaps as I got a lot of changes when running it)