equal
deleted
inserted
replaced
83 revalidate |
83 revalidate |
84 repaint |
84 repaint |
85 } |
85 } |
86 reactions += { case ValueChanged(`search`) => delay_search.invoke() } |
86 reactions += { case ValueChanged(`search`) => delay_search.invoke() } |
87 }, "Search Symbols") |
87 }, "Search Symbols") |
88 pages.map(p => p.title = Word.implode(Word.explode('_', p.title).map(Word.capitalize(_)))) |
88 pages.map(p => |
|
89 p.title = Word.implode(Word.explode('_', p.title).map(Word.perhaps_capitalize(_)))) |
89 } |
90 } |
90 set_content(group_tabs) |
91 set_content(group_tabs) |
91 } |
92 } |