graph
The revision graph only works with JavaScript-enabled browsers.
-
drawingarea based tab widget (Motif)Sat, 04 Apr 2015 12:00:32 +0200, by Olaf Wintermann
-
persistent textarea cursor positionTue, 17 Feb 2015 20:12:22 +0100, by Olaf Wintermann
