Jump to content
Sheet Folders in Testing ×

Source Editor Font Change


Recommended Posts

I have changed the font in the editor 'source window' from Times New Roman to Arial for better readability and bumped up the font size by 1 point. Text inside the box now wraps across all themes (was not doing this on dark themes before). Backgrounds have been fixed to white on the light themes and black on the dark themes and the text color is determined by theme font colors.

As usual, feedback is always welcomed.

Link to comment
Share on other sites

Are there plans to carry it through to dark themes? For me at least, even in Night theme the source window is white background with grayish text, so still not great visibility.

 

Edit: Just tested with all three dark themes, all are the same - Source editor is a white (or whitish) background with grayish text.

Edited by PigLickJF (see edit history)
Link to comment
Share on other sites

The editor source area is actually a hard set iframe window at 800px for desktop. That is why it doesn't auto resize when the window is adjusted. I am sure it would be possible but as that is a global setting and not just a visual/theme setting that is more in @Eric territory than mine.

Link to comment
Share on other sites

sourcedialog.js

 

Around line 9 or 10

 

var width = Math.min( size.width - 70, 800 );

 

probably can change the 800 to 1000 to open up more space and then change the below line (around line 13) for 1.5 to 1 to make sure it uses 2/3 of the viewport height.

 

     var height = size.height / 1;

 


 

In the meantime @PigLickJF @Ryfte

A simple "Inspect Element" while the source is open shows that this is an inline styled fixed width of 800px

 

{
    cursor: auto;
    width: 800px;
    height: 318.667px;
    text-align: left;
}

 

you can increase the 800px width directly there in "Inspect Element" to whatever value, then close "Inspect Element" and edit your source in a wider window of your choice.

Link to comment
Share on other sites

Create an account or sign in to comment

You need to be a member in order to leave a comment

Create an account

Sign up for a new account in our community. It's easy!

Register a new account

Sign in

Already have an account? Sign in here.

Sign In Now
×
×
  • Create New...