search

SlicerMorph / SlicerScriptEditor

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

Custom font size #42

Open chir-set opened 2 months ago

chir-set commented 2 months 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 months 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 months 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 months 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.