view .editorconfig @ 33408:7bad34ee4021 stable

save and restore splitter state of documentation widget * documentation.cc (documentation): restore splitter state from settings; (save_settings): save splitter state * gui-preferences-dc.cc/.h: define new settings key for splitter state
author Torsten Lilge <ttl-octave@mailbox.org>
date Sun, 14 Apr 2024 21:31:02 +0200
parents 640ee0d531d0
children
line wrap: on
line source

root = true

[*]
charset = utf-8
end_of_line = lf
indent_size = 2
indent_style = space
insert_final_newline = true

[*.{am,mk}]
indent_size = tab
indent_style = tab