 pjhjohn
|
1d3022bc4d
Arrange file modes : 755 => 644
|
9 жил өмнө |
 Mr.doob
|
309aa3866f
Editor: Nicer objectChanged handling.
|
9 жил өмнө |
|
Mr.doob
|
087ceba283
Editor: Cleaned up history panel. See #7337.
|
10 жил өмнө |
|
Mr.doob
|
30bbd4d7cf
Editor: Sidebar.History to normal Panel.
|
10 жил өмнө |
|
Mr.doob
|
3d22076493
Editor.Config: Renamed project/history/stored to settings/history. False by default.
|
10 жил өмнө |
|
Mr.doob
|
3db66134d4
Editor: Cleaned up History panel.
|
10 жил өмнө |
 Daniel
|
d9ae3450be
updated File comments
|
10 жил өмнө |
|
Daniel
|
df12759617
moved "Save History" Checkbox to the left
|
10 жил өмнө |
|
Daniel
|
cd5d8ee661
History now uses config and History.Sidebar has a checkbox
|
10 жил өмнө |
|
Daniel
|
7c872a3301
code-style
|
10 жил өмнө |
|
Daniel
|
ee274103fb
History serialization can now be enabled or disabled
|
10 жил өмнө |
|
Daniel
|
7f7557ea08
corrected author comment
|
10 жил өмнө |
|
Daniel
|
ceb151e536
Big refactor
|
10 жил өмнө |
|
Daniel
|
476cc0509e
Added command property 'name'
|
10 жил өмнө |
|
Daniel
|
472ed080fc
Merged changes from master- into dev-branch #17
|
10 жил өмнө |
