Tools/SCViewer
11
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

fix settings handling

Browse Source 
for this a common workspace is being created. To allow for multiple
instances the work space is being unlocked as soon as the application is
initialized
This commit is contained in:
Eyck Jentzsch
2020-03-25 23:01:28 +01:00
parent 220eaea73c
commit 0e8a757d6e
6 changed files with 90 additions and 54 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
com.minres.scviewer.database.ui.swt/src/com/minres/scviewer/database/swt/internal/ToolTipHandler.java
View File

@ -73,7 +73,7 @@ class ToolTipHandler {
Point pt = new Point (event.x, event.y);
tipPosition = control.toDisplay(pt);
if (tip != null && !tip.isDisposed ()) tip.dispose ();
tip = new Shell (parentShell, SWT.ON_TOP | SWT.NO_FOCUS | SWT.TOOL);
tip = new Shell (parentShell, SWT.NO_FOCUS | SWT.TOOL);
tip.setBackground (display.getSystemColor (SWT.COLOR_INFO_BACKGROUND));
GridLayout layout = new GridLayout(1, true);
layout.verticalSpacing=0;