Daniel
|
d9ae3450be
updated File comments
|
10 years ago |
Daniel
|
df12759617
moved "Save History" Checkbox to the left
|
10 years ago |
Daniel
|
cd5d8ee661
History now uses config and History.Sidebar has a checkbox
|
10 years ago |
Daniel
|
7c872a3301
code-style
|
10 years ago |
Daniel
|
ee274103fb
History serialization can now be enabled or disabled
|
10 years ago |
Daniel
|
7f7557ea08
corrected author comment
|
10 years ago |
Daniel
|
ceb151e536
Big refactor
|
10 years ago |
Daniel
|
476cc0509e
Added command property 'name'
|
10 years ago |
Daniel
|
472ed080fc
Merged changes from master- into dev-branch #17
|
10 years ago |