80fc1815ca66b760d810bbb4c816698b2f13edad - mdht/org.eclipse.mdht - Git at Google

commit: 80fc1815ca66b760d810bbb4c816698b2f13edad
[log] [tgz]
author: Sean Muir <sean.muir@jkmsoftware.com>
Thu Nov 19 13:55:49 2020 -0500
committer: Sean Muir <sean.muir@jkmsoftware.com>
Thu Nov 19 13:55:49 2020 -0500
tree: ea511ceed9dfe4a55364878047b983df6678236e
parent: 9ecdef53016091d76e0e002a565d907abb0dec80 [diff]

Updates to preferences

Modified filter selection to maintain previous selections

cda/plugins/org.eclipse.mdht.uml.cda.ui/src/org/eclipse/mdht/uml/cda/ui/editors/MDHTPreferences.java[diff]

1 file changed

tree: ea511ceed9dfe4a55364878047b983df6678236e