Menu

Source (Archive) Commit Log


Commit Date  
[r1151] by numere

Fixed issue #707
"Possible data race crash"

2022-05-22 09:56:51 Tree
[r1150] by numere

Fixed issue #707
"Possible data race crash"

2022-05-22 09:54:41 Tree
[r1149] by raph-z

First draft of the is_dir() and is_file() functions from ticket #669. Both the file that the function will be in and the exact logic of the methods and their return values are not final. Also documentation is missing so far.

2022-05-19 15:15:59 Tree
[r1148] by numere

Implemented ticket #705
"Force-close with SHIFT"

2022-05-17 17:17:44 Tree
[r1147] by numere

Implemented ticket #706
"Avoid empty history lines"

2022-05-17 16:28:28 Tree
[r1146] by numere

Fixed an issue in implementation of #674
Saving did move the focus from the editor.

2022-05-17 16:11:45 Tree
[r1145] by numere

Fixed a small issue in implementation of #681

2022-05-16 21:02:56 Tree
[r1144] by numere

Small fix on implementation of ticket #692

2022-05-16 08:34:43 Tree
[r1143] by numere

Deleted obsolete branch for ticket #674

2022-05-13 07:10:04 Tree
[r1142] by numere

Merged revision(s) 1139-1141 from branches/ticket_674:
Implemented ticket #674

2022-05-13 07:05:54 Tree
Older >
MongoDB Logo MongoDB