search

SlicerMorph / SlicerEditor

a simple programming editor for Slicer based on monaco
BSD 2-Clause "Simplified" License
4 stars 1 forks source link

Custom font size #42

Open chir-set opened 2 weeks ago

chir-set commented 2 weeks ago

Hello,

Is it possible to increase the font size of the editor?

I don't mind doing that with code, in .slicerrc.py or maintaining a local branch.

Please inform if there is a solution.

Thanks and regards.

muratmaga commented 2 weeks ago

@pieper can give a more definite answer, but i believe everything about the code widget is set in this html file. https://github.com/SlicerMorph/SlicerEditor/blob/main/SlicerEditor/Resources/monaco-editor/index.html

Perhaps you can experiment and if you can figure out how to change it, we can possibly have a parameter that sets it.

pieper commented 2 weeks ago

This example page has the fontSize property set. The demo lets you play around with all the settings. It would just be a matter of setting the same config when creating the editor.

chir-set commented 2 weeks ago

a matter of setting the same config

Thank you, this is manageable in a local branch. It would be helpful on a 16-inch laptop screen at 2560x1440 resolution.