let edit_preferences () =
let (param_syntax, f_restore_syntax) = syntax_highlight_box () in
let (param_svprops, f_restore_svprops) = source_view_props_box () in
let sections =
[
Configwin.Section ("Source views", [param_svprops]) ;
Configwin.Section ("Syntax highlighting", [param_syntax]) ;
]
in
match Configwin.get Ed_messages.preferences sections with
Configwin.Return_ok ->(* save_options () ;*)()
| _ -> f_restore_syntax (); f_restore_svprops ()