editbar_size
|
Size of the edit bar, i.e. the number of lines . A positive value, e.g. 20 specifies the width of the edit bar in rows and places it at the foot of the window. A negative value, e.g. -40, specifies the width in characters and places the edit bar area to the right of the window. A value of 0 switches off the information bar and displays the yellow bar as a single edit line.
|
priority
|
(optional) Delay factor before the main work area is updated with any newly typed text. A value of 25 provides around a quarter second delay on a 2Ghz PC, but as computers get faster higher numbers may be needed. (This option is rarely needed on modern fast computers and PTC recommends a setting of 0 unless you find the continuous update while typing distracting, or if it impedes progress.)
|
tagbar_size
|
(optional) Width of the blue tag bar measured in average-width characters. If the number is negative, the tag bar will be shown at the right side of the document window. If the edit bar is also on the right, the tag bar will be furthest right. The default width is 12 characters (increased from the non-configurable 8 characters prior to version 10.0). Enter a value of 0 to disable the tag bar.
|