]>
2016-05-10 | nicolas-p | Added prompt style and tip style in switching | blob | commitdiff | raw |
2016-05-10 | nicolas-p | Author and summary for ui.gadgets.theme.switching | blob | commitdiff | raw | diff to current |
2016-05-10 | nicolas-p | Renaming themes | blob | commitdiff | raw | diff to current |
2016-05-10 | nicolas-p | Implemented theme switching | blob | commitdiff | raw | diff to current |