6e87549fec6c5d8bfb300e1cdd3f2d7c8c477fec - amalgam/org.eclipse.amalgam

commit: 6e87549fec6c5d8bfb300e1cdd3f2d7c8c477fec
[log]
author: Tu Ton <minhtutonthat@gmail.com>
Tue Oct 09 10:47:30 2018 +0200
committer: Tu Ton <minhtutonthat@gmail.com>
Tue Oct 09 10:47:30 2018 +0200
tree: be3fe3b4310331345da5cfb6ef6eb3adb02517a9
parent: a0bf42ea90d866ace61e3159f03eded9794bb5e9 [diff]

[539949] Activity Explorer is not closed after Eclipse is restarted and
the session is closed

Bug: 539949

Change-Id: I508a4bf629d740f8559420ce803c6ab76c64686e
Signed-off-by: Tu Ton <minhtutonthat@gmail.com>

plugins/org.eclipse.amalgam.explorer.activity.ui/src/org/eclipse/amalgam/explorer/activity/ui/api/editor/ActivityExplorerEditor.java[diff]

1 file changed

tree: be3fe3b4310331345da5cfb6ef6eb3adb02517a9

features/
plugins/
releng/
tests/
.gitignore