Mon, 04 Dec 2017 00:48:24 +0100 |
Goffi |
ticket(item): fixed menus
|
Mon, 04 Dec 2017 00:47:42 +0100 |
Goffi |
input(xmlui): added generate_list method, similar to generate_table but generate list of items instead.
|
Mon, 04 Dec 2017 00:46:43 +0100 |
Goffi |
base: use <main> for main area, for better semantic.
|
Fri, 01 Dec 2017 00:46:45 +0100 |
Goffi |
merge-request: first draft:
|
Fri, 01 Dec 2017 00:46:45 +0100 |
Goffi |
static (css): added highlight CSS to handle new highlight filter (pygments)
|
Fri, 01 Dec 2017 00:46:45 +0100 |
Goffi |
static (js/css): method to toggle clicked class on all elements matching a selector
|
Fri, 01 Dec 2017 00:46:42 +0100 |
Goffi |
base: menu implementation:
|
Wed, 15 Nov 2017 08:52:14 +0100 |
Goffi |
input/xmlui: added 'jid' widget type, using string_widget for now
|