diff -r fd2b5a7ec356 -r 364c367df7fc client/js/defaults.js --- a/client/js/defaults.js Wed Jun 10 14:27:12 2015 +0200 +++ b/client/js/defaults.js Fri Jun 12 14:46:08 2015 +0200 @@ -145,10 +145,22 @@ tooltip_border_color: "#808080", tooltip_border_width: 1, + richtext_editor_config: { + toolbarGroups: [ + { name: 'basicstyles', groups: [ 'basicstyles', 'cleanup' ] }, + { name: 'clipboard', groups: [ 'clipboard', 'undo' ] }, + '/', + { name: 'styles'}, + ], + //extraPlugins: 'onchange', + removePlugins : 'colorbutton,find,flash,font,forms,iframe,image,newpage,smiley,specialchar,stylescombo,templates' + }, + /* NODE EDITOR OPTIONS */ show_node_editor_uri: true, show_node_editor_description: true, + show_node_editor_description_richtext: true, show_node_editor_size: true, show_node_editor_style: true, show_node_editor_style_color: true, @@ -159,6 +171,7 @@ allow_image_upload: true, uploaded_image_max_kb: 500, + /* NODE TOOLTIP OPTIONS */ show_node_tooltip_uri: true, @@ -184,8 +197,7 @@ show_edge_tooltip_uri: true, show_edge_tooltip_color: true, show_edge_tooltip_nodes: true, - show_edge_tooltip_creator: true + show_edge_tooltip_creator: true, - /* */ };