Can I change the font size for the repository edit pane?

[thereisg...@gmail.com]

Hi.

I'm new to wm3 and loving it.

I'm using the industrial black theme and have made a few modifications with success. My old eyes find the tiny font used in the editing mode of the repository pane too small. I haven't found a way to increase its size. Is there a way?

Thanks, Jim

[josip]

Hi, You can't change font size just for repository but it is possible to bust all UI fonts using command palette / Set user interface zoom value command. Changing that to a value greater than 100% will also bust repository fonts.

i.

[thereisg...@gmail.com]

Would be a nice feature to modify the Repository font, but thanks for the work-around!