Editor:
Font Size
Controls the font size in pixels.
Editor:
Font Family
Controls the font family.
Editor:
Word Wrap
Controls how lines should wrap.
Editor:
Line Numbers
Controls the display of line numbers in the cell editor.
Editor:
Cursor Blinking
Control the cursor animation style.
Editor:
Font Ligatures
Configures font ligatures or font features.
Workbench:
Color theme
Specifies the color theme used in the workbench.