projects / factor.git / history
| 2018-09-07 | Pi | make the caret color themeable | blob | commitdiff | raw |
| 2016-11-09 | John Benediktsson | ui.theme: change deprecated background color also. | blob | commitdiff | raw | diff to current |
| 2016-11-08 | John Benediktsson | ui.theme: make warning background color a light shade... | blob | commitdiff | raw | diff to current |
| 2016-05-10 | John Benediktsson | ui.theme: remove unused url-color hook. | blob | commitdiff | raw | diff to current |
| 2016-05-10 | John Benediktsson | ui.theme: updates to color scheme. | blob | commitdiff | raw | diff to current |
| 2016-05-10 | nicolas-p | Moved both themes into ui.theme | blob | commitdiff | raw | diff to current |