diff options
| author | Dani Megert | 2001-08-03 16:58:11 +0000 |
|---|---|---|
| committer | Dani Megert | 2001-08-03 16:58:11 +0000 |
| commit | a46b4bc2225e92004a93cef4bcde4f92796d8583 (patch) | |
| tree | 1ddb7e3ee2afa40fb312a1048f06956484c767ec /org.eclipse.search/search/org/eclipse/search/internal/ui/SearchPageDescriptor.java | |
| parent | 57e7aa743cc5f64e332337835eed6c153291508d (diff) | |
| download | eclipse.platform.text-a46b4bc2225e92004a93cef4bcde4f92796d8583.tar.gz eclipse.platform.text-a46b4bc2225e92004a93cef4bcde4f92796d8583.tar.xz eclipse.platform.text-a46b4bc2225e92004a93cef4bcde4f92796d8583.zip | |
Fixed PR 1GH4D6K: Search: Default pageTab position should not be MAX int
Diffstat (limited to 'org.eclipse.search/search/org/eclipse/search/internal/ui/SearchPageDescriptor.java')
| -rw-r--r-- | org.eclipse.search/search/org/eclipse/search/internal/ui/SearchPageDescriptor.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/org.eclipse.search/search/org/eclipse/search/internal/ui/SearchPageDescriptor.java b/org.eclipse.search/search/org/eclipse/search/internal/ui/SearchPageDescriptor.java index f17346a73fc..1f4d34c02a0 100644 --- a/org.eclipse.search/search/org/eclipse/search/internal/ui/SearchPageDescriptor.java +++ b/org.eclipse.search/search/org/eclipse/search/internal/ui/SearchPageDescriptor.java @@ -130,7 +130,7 @@ class SearchPageDescriptor implements Comparable { *
*/
public int getTabPosition() {
- int position= Integer.MAX_VALUE;
+ int position= Integer.MAX_VALUE / 2;
String str= fElement.getAttribute(TAB_POSITION_ATTRIBUTE);
if (str != null)
try {
|