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 ()