Revision 5659
Added by ben leinfelder about 14 years ago
index.jsp | ||
---|---|---|
93 | 93 |
"select_multiple_modifier" : "alt", |
94 | 94 |
"selected_parent_close" : "select_parent"//, |
95 | 95 |
//"initially_select" : [ selectedNodeId ] |
96 |
}, |
|
96 |
}, |
|
97 |
"themes" : { |
|
98 |
"theme" : "default", |
|
99 |
"dots" : true, |
|
100 |
"icons" : false |
|
101 |
}, |
|
97 | 102 |
//"core" : { "initially_open" : [ selectedNodeId ] }, |
98 | 103 |
"search" : { "case_insensitive" : true }, |
99 | 104 |
"plugins" : [ "themes", "html_data", "ui", "cookies", "search" ] |
Also available in: Unified diff
no more aqua for search results