Age | Commit message (Expand) | Author |
---|---|---|
2016-05-17 | [TextEditor] Merged source editor with text editor (gtk part). | Mike Krüger |
2015-02-20 | [TextEditor/Ide] Renamed various TextEditor classes. TextEditor now | Mike Krüger |
2013-06-25 | [TextEditor] Added more documentation to the margin marker. | Mike Krüger |
2013-06-25 | [TextEditor] Generalized the margin draw API. This should be more | Mike Krüger |