method attributes =
[ "location", string_of_location my_location ;
"line_numbers", (Ed_misc.string_of_bool source_view#show_line_numbers) ;
"line_markers", (Ed_misc.string_of_bool source_view#show_line_markers) ;
"wrap_mode", (Ed_sourceview_rc.string_of_wrap_mode source_view#wrap_mode) ;
]