descriptionProgrammers text editor - python focused
ownerMichael Smith
last changeFri, 31 Mar 2017 16:51:27 +1100
changes
Fri, 31 Mar 2017 16:51:27 +1100 Michael Smith Highlight None constant default tip
Fri, 31 Mar 2017 16:33:02 +1100 Michael Smith --create-server enables --client automatically
Thu, 15 Sep 2016 00:06:44 +1000 Michael Smith Tagged under the English Channel on the Eurostar
Wed, 14 Sep 2016 23:54:14 +1000 Michael Smith Restore style argument to WindowManager 0.5
Wed, 14 Sep 2016 23:40:25 +1000 Michael Smith Working on style object creation at startup time
Sun, 05 Jun 2016 17:28:46 +1000 Michael Smith Undo and redo functionality
Sun, 05 Jun 2016 16:51:36 +1000 Michael Smith Remove old selection before setting new selection
Sun, 05 Jun 2016 16:33:08 +1000 Michael Smith Delete old selected area
Sun, 05 Jun 2016 15:52:47 +1000 Michael Smith Wrap search after reaching end of file
Sun, 05 Jun 2016 15:50:54 +1000 Michael Smith Start searching from INSERT mark
...
tags
Wed, 14 Sep 2016 23:54:14 +1000 0.5
Sat, 16 Jan 2016 12:36:19 +1100 0.4
Thu, 14 Jan 2016 20:21:47 +1100 0.3
Tue, 05 Jan 2016 17:51:13 +1100 0.2
Sun, 27 Dec 2015 17:37:45 +1100 0.1
...
bookmarks
...
branches
Fri, 31 Mar 2017 16:51:27 +1100 f578ba823b5a default
...