| commit | 7bd744af691722b19e0ad649b18d5597b4607329 | [log] [tgz] |
|---|---|---|
| author | cbateman <cbateman> | Tue Nov 07 18:16:28 2006 +0000 |
| committer | cbateman <cbateman> | Tue Nov 07 18:16:28 2006 +0000 |
| tree | 8f7ee5fc5c0ea3a7ea5ee0d9247bd6992eec6bbc | |
| parent | dcb58bc275b0d2b813b7c5f2347af93499e40103 [diff] |
Reverted changes that changed the tabbed.properties API stuff to the new org.eclipse.ui.views API from the deprecated wst one. The change turns out not to be a straight-forward swap as it first appeared -- the present usage with the new API caused exceptions and disabled the properties when in the navigation tab.