diff options
author | Darin Wright | 2005-01-10 22:17:52 +0000 |
---|---|---|
committer | Darin Wright | 2005-01-10 22:17:52 +0000 |
commit | 24cbd2f33a5a263917306c6ee362d9540444ca9b (patch) | |
tree | e463f76921c1aac4877f0a4293cdf67fa15eadf8 /org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/views/memory/MemoryViewUtil.java | |
parent | 995107d2b5c66926a7cf941fc97dd107db1fb123 (diff) | |
download | eclipse.platform.debug-24cbd2f33a5a263917306c6ee362d9540444ca9b.tar.gz eclipse.platform.debug-24cbd2f33a5a263917306c6ee362d9540444ca9b.tar.xz eclipse.platform.debug-24cbd2f33a5a263917306c6ee362d9540444ca9b.zip |
Bug 74559 - Memory View does not scroll properly on Linux
Diffstat (limited to 'org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/views/memory/MemoryViewUtil.java')
-rw-r--r-- | org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/views/memory/MemoryViewUtil.java | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/views/memory/MemoryViewUtil.java b/org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/views/memory/MemoryViewUtil.java index d5ca70514..820d93abe 100644 --- a/org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/views/memory/MemoryViewUtil.java +++ b/org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/views/memory/MemoryViewUtil.java @@ -10,6 +10,7 @@ *******************************************************************************/ package org.eclipse.debug.internal.ui.views.memory; +import org.eclipse.core.runtime.Platform; import org.eclipse.debug.core.DebugPlugin; import org.eclipse.debug.core.IMemoryBlockManager; import org.eclipse.debug.core.model.IDebugElement; @@ -20,6 +21,7 @@ import org.eclipse.jface.dialogs.MessageDialog; import org.eclipse.jface.viewers.ISelection; import org.eclipse.jface.viewers.IStructuredSelection; import org.eclipse.swt.widgets.Shell; +import org.eclipse.swt.widgets.Table; /** * Util class for Memory View @@ -97,4 +99,24 @@ public class MemoryViewUtil { { return DebugPlugin.getDefault().getMemoryBlockManager(); } + + + static void linuxWorkAround(Table table) + { + if (table == null) + return; + + if (table.isDisposed()) + return; + + if(isLinuxGTK()) + while(table.getDisplay().readAndDispatch()){} + } + + static boolean isLinuxGTK() + { + String ws = Platform.getWS(); + return ws.equals(Platform.WS_GTK); + } + } |