Online Eiffel Documentation
EiffelStudio

General Editor Preferences

General Preferences

Label in the preferences windowComplete Description
Automatic updateAutomatic update when the file has not been modified.
Blinking cursorDoes text cursor blink?
Editor fontAll-purpose editor font.
Keyword fontKeyword editor font.
Left margin widthWidth of left margin in editor. Note: this is not the breakpoint margin, but the whitespace to the left of the editor.
Mouse wheel scroll full pageMouse wheel scroll full page?
Mouse wheel scroll sizeMouse wheel scroll size.
Quadruple click enabledDoes a quadruple click select the entire document?
Scrolling common line countNumber of common lines staying on screen after scrolling by one page up or down.
Show line numbersIndicates if editor displays the line numbers by default.
Smart indentationShould editor perform auto-indenting?
Tab stepNumber of spaces that a tabulation character represents.
Use buffered lineIndicates if editor line drawing is first buffered and then drawn, or just drawn directly to the screen. If true scrolling will be smoother, but performance will be slower.
Use tab for indentationShould tab character be used for auto-indentation?

Display Colors

Label in the preferences windowComplete Description
colors.normal_text_colorColor for normal text.
colors.normal_background_colorBackground color for normal text.
colors.selection_text_colorColor of selected text.
colors.selection_background_colorBackground color of selected text.
colors.string_text_colorColor of string text.
colors.string_background_colorBackground color of string text.
colors.keyword_text_colorColor of keyword text.
colors.keyword_background_colorBackground color of keyword text.
colors.spaces_text_colorColor of space characters.
colors.spaces_background_colorBackground color of space characters.
colors.comments_text_colorColor of comments text.
colors.comments_background_colorBackground color of comments text.
colors.operator_text_colorColor of operator text.
colors.operator_background_colorBackground color of operator text.
colors.number_text_colorColor of number text.
colors.number_background_colorBackground color of number text.
colors.margin_background_colorBackground color of line number margin.
colors.margin_separator_colorColor of separator between line number margin and editor.
colors.line_number_text_colorColor of line number text.