Menu ▾ ▴

Source (Archive) Commit Log


Commit Date  
[r170] by numere

Modified the visual appearance
- added a sunken border around the history UI element

 2017-07-03 05:11:33 Tree
[r169] by numere

Merged implementation for ticket #211

 2017-07-01 17:14:10 Tree
[r168] by numere

Implemented ticket #211
"Add a command for reloading a file in the editor"
Solved issue in built-in.cpp

 2017-07-01 16:51:59 Tree
[r167] by numere

Implemented ticket #211
-> Fixed a little issue in built-in.cpp

 2017-07-01 14:05:59 Tree
[r166] by numere

Implemented ticket #211
"Add a command for reloading a file in the editor"

Only implemented rudimentary functionality. Implementation in kernel/core/built-in.cpp has to improved

 2017-07-01 13:38:27 Tree
[r165] by numere

Created branch for ticket #211

 2017-07-01 08:47:54 Tree
[r164] by numere

Created branch for ticket #211

 2017-07-01 08:43:12 Tree
[r163] by numere

Created branch for ticket #211

 2017-07-01 08:39:14 Tree
[r162] by numere

Created branch for ticket #211

 2017-07-01 08:38:46 Tree
[r161] by numere

Created branch for ticket #211

 2017-07-01 08:00:42 Tree
Older >
MongoDB Logo MongoDB