descriptionProgrammers text editor - python focused
ownerMichael Smith
last changeFri, 13 Jul 2018 14:39:04 +1000
changes
Fri, 13 Jul 2018 14:39:04 +1000 Michael Smith Run time type checking default tip
Fri, 13 Jul 2018 14:15:58 +1000 Michael Smith Run time type checking
Fri, 13 Jul 2018 14:13:59 +1000 Michael Smith Run time type checking
Fri, 13 Jul 2018 14:07:54 +1000 Michael Smith Run time type checking
Fri, 13 Jul 2018 13:58:56 +1000 Michael Smith Run time type checking
Fri, 13 Jul 2018 13:46:03 +1000 Michael Smith Run time type checking
Wed, 23 May 2018 13:31:43 +1000 Michael Smith Fix window and tab close flow
Wed, 23 May 2018 10:53:44 +1000 Michael Smith Close action closes a tab
Wed, 23 May 2018 09:58:09 +1000 Michael Smith Prompt to save file when window is being closed
Wed, 23 May 2018 09:03:13 +1000 Michael Smith Handle window close
...
tags
Wed, 05 Oct 2016 04:39:17 +1100 0.6
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, 13 Jul 2018 14:39:04 +1000 bb93d6d52871 default
...