- 03 Mar, 2015 5 commits
-
-
ThorbenQuast authored
filewatch: before starting a new watch, call "unwatch" with same parameter set (reduces the occurrences in which file removal/renaming of opened files is not detected)
-
asseldonk authored
-
asseldonk authored
-
asseldonk authored
-
asseldonk authored
-
- 02 Mar, 2015 8 commits
-
-
asseldonk authored
-
Marcel Rieger authored
-
Marcel Rieger authored
-
ThorbenQuast authored
-
ThorbenQuast authored
-
ThorbenQuast authored
-
ThorbenQuast authored
-
ThorbenQuast authored
-
- 01 Mar, 2015 1 commit
-
-
Martin Urban authored
File: fix un-shown menu when deleting file by hand and recreating it later via console or another extension without using the file extension, fix #2151
-
- 02 Mar, 2015 1 commit
-
-
asseldonk authored
-
- 01 Mar, 2015 2 commits
-
-
ThorbenQuast authored
-
Benjamin Fischer authored
-
- 27 Feb, 2015 2 commits
-
-
Benjamin Fischer authored
-
ThorbenQuast authored
-
- 26 Feb, 2015 2 commits
-
-
ThorbenQuast authored
-
ThorbenQuast authored
-
- 24 Feb, 2015 13 commits
-
-
asseldonk authored
-
Marcel Rieger authored
-
Marcel Rieger authored
-
ThorbenQuast authored
fix #2101
-
Marcel Rieger authored
-
Marcel Rieger authored
-
Marcel Rieger authored
-
Marcel Rieger authored
-
Marcel Rieger authored
-
ThorbenQuast authored
-
Marcel Rieger authored
-
Marcel Rieger authored
-
Marcel Rieger authored
-
- 19 Feb, 2015 2 commits
-
-
Benjamin Fischer authored
-
Gero Müller authored
-
- 18 Feb, 2015 1 commit
-
-
ThorbenQuast authored
-
- 03 Feb, 2015 1 commit
-
-
ThorbenQuast authored
-
- 02 Feb, 2015 2 commits