How to change the font in the editor pane

This forum can be browsed by the general public. Posting is limited to current SAPIEN license holders with active maintenance and does not offer a response time guarantee.
Forum rules
DO NOT POST LICENSE NUMBERS, ACTIVATION KEYS OR ANY OTHER LICENSING INFORMATION IN THIS FORUM.
Only the original author and our tech personnel can reply to a topic that is created in this forum. If you find a topic that relates to an issue you are having, please create a new topic and reference the other in your post.

Any code longer than three lines should be added as code using the 'Select Code' dropdown menu or attached as a file.
This topic is 7 years and 4 months old and has exceeded the time allowed for comments. Please begin a new topic or use the search feature to find a similar but newer topic.
User avatar
robwm1
Posts: 90
Last visit: Tue Jul 11, 2017 11:54 am

How to change the font in the editor pane

Post by robwm1 »

Product, version and build: 7.2.96.0
(*** Please do not write "latest" as a version, specify a version number ***)
32 or 64 bit version of product: 64-bit
Operating system: Windows 10 Enterprise
32 or 64 bit OS: 64-bit

Hi,

I found the settings to change the font type/size in Options but that didn't change what is already written in the editor pane. Is there a way to change the font in the editor pane so it is the same as I set in Options?

Thanks,
Rob
User avatar
Alexander Riedel
Posts: 8479
Last visit: Thu Mar 28, 2024 9:29 am
Answers: 19
Been upvoted: 37 times

Re: How to change the font in the editor pane

Post by Alexander Riedel »

Close the file and open it again. Or use the font slider on the status bar.
Alexander Riedel
SAPIEN Technologies, Inc.
User avatar
robwm1
Posts: 90
Last visit: Tue Jul 11, 2017 11:54 am

Re: How to change the font in the editor pane

Post by robwm1 »

Alexander,

Closing/opening the file worked as suggested.

Thank you!

Rob
This topic is 7 years and 4 months old and has exceeded the time allowed for comments. Please begin a new topic or use the search feature to find a similar but newer topic.