618 |
(flags (widget-get tree :tree-widget--guide-flags)) |
(flags (widget-get tree :tree-widget--guide-flags)) |
619 |
(indent (widget-get tree :indent)) |
(indent (widget-get tree :indent)) |
620 |
children buttons) |
children buttons) |
621 |
(and indent |
(and indent (not (widget-get tree :parent)) |
|
(null flags) |
|
|
(save-restriction |
|
|
(widen) |
|
|
(or (bolp) |
|
|
(and (eq (char-before) ?<) |
|
|
(save-excursion |
|
|
(backward-char) (bolp))))) |
|
622 |
(insert-char ?\ indent)) |
(insert-char ?\ indent)) |
623 |
(if (widget-get tree :open) |
(if (widget-get tree :open) |
624 |
;;;; Unfolded node. |
;;;; Unfolded node. |