EMS logo

Produits

DB Comparer for MySQL

Notre statut de partenariat

Microsoft Certified Partner
Oracle Certified Partner
Embarcadero Technology Partner

EMS DB Comparer for MySQL

Documentation en ligne

Display


CheckBox Visible right margin

Makes the right text margin visible.

 

CheckBox Visible gutter

Makes the gutter visible in the editor window.

 

Right margin

Defines the position of the right text margin in the editor window.

 

Gutter width

Defines the gutter width in the editor window.

 

Editor Options - Display

 

 

Editor font, Size

Use these options to set the editor font and its size.

 

The box below displays the sample text with the selected font applied.

 



See also:

General

Color

Quick Code