- Oct 09, 2013
-
-
Dmitriy Zaporozhets authored
-
Izaak Alpert authored
-
- Aug 27, 2013
-
-
Dmitriy Zaporozhets authored
-
- Aug 01, 2013
-
-
Dmitriy Zaporozhets authored
-
- Jun 26, 2013
-
-
Dmitriy Zaporozhets authored
-
Dmitriy Zaporozhets authored
-
- Jun 05, 2013
-
-
Christian Höltje authored
This unifies the code color-scheme code and makes adding new schemes a little easier.
-
- May 05, 2013
-
-
Andrey Kumanyaev authored
-
- Mar 15, 2013
-
-
Dmitriy Zaporozhets authored
-
- Feb 21, 2013
-
-
Dmitriy Zaporozhets authored
-
- Nov 21, 2012
-
-
Robert Speicher authored
- Header changes immediately without a page reload - Lets the user know that we actually saved their setting when changed
-
- Nov 13, 2012
-
-
Vincent Bonmalais authored
-
- Nov 04, 2012
-
-
Robert Speicher authored
Closes #1912
-
- Sep 27, 2012
-
-
Dmitriy Zaporozhets authored
-
- Sep 10, 2012
-
-
Nihad Abbasov authored
-
Nihad Abbasov authored
-