… | |
… | |
217 | STRG (Rs_title, "title", "title", "string", "title name for window"), |
217 | STRG (Rs_title, "title", "title", "string", "title name for window"), |
218 | STRG (Rs_title, NULL, "T", NULL, NULL), /* short form */ |
218 | STRG (Rs_title, NULL, "T", NULL, NULL), /* short form */ |
219 | STRG (Rs_iconName, "iconName", "n", "string", "icon name for window"), |
219 | STRG (Rs_iconName, "iconName", "n", "string", "icon name for window"), |
220 | STRG (Rs_saveLines, "saveLines", "sl", "number", "number of scrolled lines to save"), |
220 | STRG (Rs_saveLines, "saveLines", "sl", "number", "number of scrolled lines to save"), |
221 | #if ENABLE_FRILLS |
221 | #if ENABLE_FRILLS |
|
|
222 | STRG (Rs_embed, NULL, "embed", "windowid", "window id to embed terminal in"), |
222 | STRG (Rs_ext_bwidth, "externalBorder", "w", "number", "external border in pixels"), |
223 | STRG (Rs_ext_bwidth, "externalBorder", "w", "number", "external border in pixels"), |
223 | STRG (Rs_ext_bwidth, NULL, "bw", NULL, NULL), |
224 | STRG (Rs_ext_bwidth, NULL, "bw", NULL, NULL), |
224 | STRG (Rs_ext_bwidth, NULL, "borderwidth", NULL, NULL), |
225 | STRG (Rs_ext_bwidth, NULL, "borderwidth", NULL, NULL), |
225 | STRG (Rs_int_bwidth, "internalBorder", "b", "number", "internal border in pixels"), |
226 | STRG (Rs_int_bwidth, "internalBorder", "b", "number", "internal border in pixels"), |
226 | BOOL (Rs_borderLess, "borderLess", "bl", Opt_borderLess, "borderless window"), |
227 | BOOL (Rs_borderLess, "borderLess", "bl", Opt_borderLess, "borderless window"), |