175 |
@item @code{cursorColor} (class @code{Foreground}) |
@item @code{cursorColor} (class @code{Foreground}) |
176 |
Color name for text cursor (point). |
Color name for text cursor (point). |
177 |
|
|
178 |
|
@item @code{cursorBlink} (class @code{CursorBlink}) |
179 |
|
Specifies whether to make the cursor blink. The default is @samp{on}. Use |
180 |
|
@samp{off} or @samp{false} to turn cursor blinking off. |
181 |
|
|
182 |
@item @code{font} (class @code{Font}) |
@item @code{font} (class @code{Font}) |
183 |
Font name for text (or fontset name, @pxref{Fontsets}). |
Font name for text (or fontset name, @pxref{Fontsets}). |
184 |
|
|