Tags · Robert Pannick / ide · GitLab

Tags give the ability to mark specific points in history as being important

v0.12

d2588c82 · prompt for reload when editor file changes externally · Apr 12, 2021

Download source code

zip tar.gz tar.bz2 tar
v0.11

6b5c5707 · add context menu to output tabs, "close others" function · Feb 28, 2021

Download source code

zip tar.gz tar.bz2 tar
v0.10

cc682234 · text search project scope · Oct 09, 2020

Download source code

zip tar.gz tar.bz2 tar
v0.9

e0cf386e · editor tab context menu item "close others" · Aug 31, 2020

Download source code

zip tar.gz tar.bz2 tar
v0.8

5a6f0f6d · initial import · Aug 19, 2020

Download source code

zip tar.gz tar.bz2 tar