7.2.5 Text gadgets

7.2.5.3 Text editors

The <text-editor> class is a multiple line edit control, used when more complex editing controls and several lines of text are needed by the user.

Figure 7.18 A text editor

The columns: and lines: init-keywords control the size of a text editor when it is created. Each init-keyword takes an integer argument, and the resulting text editor has the specified number of character columns (width) and the specified number of lines (height).

In addition, text editors support the scroll-bars: init-keyword described in Section 7.2.3.4 on page 98.

make(<text-editor>, lines: 10, fixed-height?: #t);