--- 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,
- /* */
};