fold-menu.scm (TeXmacs-2.1.1-src) | : | fold-menu.scm (TeXmacs-2.1.2-src) | ||
---|---|---|---|---|
skipping to change at line 73 | skipping to change at line 73 | |||
(tm-menu (supported-convertible-menu) | (tm-menu (supported-convertible-menu) | |||
(for (name (get-extern-converters)) | (for (name (get-extern-converters)) | |||
((eval (format-get-name name)) | ((eval (format-get-name name)) | |||
(insert-go-to `(converter-input ,name "" "") '(1 0))))) | (insert-go-to `(converter-input ,name "" "") '(1 0))))) | |||
(tm-menu (supported-executable-menu) | (tm-menu (supported-executable-menu) | |||
(for (name (session-list)) | (for (name (session-list)) | |||
(with menu-name (session-name name) | (with menu-name (session-name name) | |||
((eval menu-name) | ((eval menu-name) | |||
(make-script name "default"))))) | (make-script-input* name "default"))))) | |||
(menu-bind insert-fold-menu | (menu-bind insert-fold-menu | |||
(-> "Folded" | (-> "Folded" | |||
("Default" (make-toggle 'folded)) | ("Default" (make-toggle 'folded)) | |||
--- | --- | |||
("Plain" (make-toggle 'folded-plain)) | ("Plain" (make-toggle 'folded-plain)) | |||
("Standard" (make-toggle 'folded-std)) | ("Standard" (make-toggle 'folded-std)) | |||
("Environment" (make-toggle 'folded-env)) | ("Environment" (make-toggle 'folded-env)) | |||
("Documentation" (make-toggle 'folded-documentation)) | ("Documentation" (make-toggle 'folded-documentation)) | |||
("Grouped" (make-toggle 'folded-grouped))) | ("Grouped" (make-toggle 'folded-grouped))) | |||
End of changes. 1 change blocks. | ||||
1 lines changed or deleted | 1 lines changed or added |