change design browser icons

This commit is contained in:
Eyck Jentzsch 2021-01-14 21:57:27 +01:00
parent efd042dd22
commit 26e8ea8a51
4 changed files with 13 additions and 4 deletions

Binary file not shown.

After

Width:  |  Height:  |  Size: 700 B

Binary file not shown.

Before

Width:  |  Height:  |  Size: 444 B

After

Width:  |  Height:  |  Size: 536 B

Binary file not shown.

After

Width:  |  Height:  |  Size: 688 B

View File

@ -52,12 +52,17 @@ public class TxDbLabelProvider implements ILabelProvider {
/**
* Instantiates a new tx db label provider.
*/
public TxDbLabelProvider() {
public TxDbLabelProvider(boolean isTree) {
super();
loadinDatabase=ResourceManager.getPluginImage(Constants.PLUGIN_ID, "icons/database_go.png"); //$NON-NLS-1$ //$NON-NLS-2$
database=ResourceManager.getPluginImage(Constants.PLUGIN_ID, "icons/database.png"); //$NON-NLS-1$ //$NON-NLS-2$
stream=ResourceManager.getPluginImage(Constants.PLUGIN_ID, "icons/stream.png"); //$NON-NLS-1$ //$NON-NLS-2$
folder=ResourceManager.getPluginImage(Constants.PLUGIN_ID, "icons/folder.png"); //$NON-NLS-1$ //$NON-NLS-2$
if(isTree) {
stream=ResourceManager.getPluginImage(Constants.PLUGIN_ID, "icons/stream_hier.png"); //$NON-NLS-1$ //$NON-NLS-2$
} else {
stream=ResourceManager.getPluginImage(Constants.PLUGIN_ID, "icons/stream.png"); //$NON-NLS-1$ //$NON-NLS-2$
}
signal=ResourceManager.getPluginImage(Constants.PLUGIN_ID, "icons/signal.png"); //$NON-NLS-1$ //$NON-NLS-2$
wave=ResourceManager.getPluginImage(Constants.PLUGIN_ID, "icons/wave.png"); //$NON-NLS-1$ //$NON-NLS-2$
}
@ -134,7 +139,7 @@ public class TxDbLabelProvider implements ILabelProvider {
case FILTER:
break;
case SIGNAL:
if(((IWaveform) element).getWidth()==1)
if(((IWaveform) element).getRowCount()==1)
return signal;
else
return wave;
@ -159,6 +164,10 @@ public class TxDbLabelProvider implements ILabelProvider {
*/
@Override
public String getText(Object element) {
if(element instanceof IWaveformDb){
IWaveformDb db = (IWaveformDb) element;
return db.getName()+(db.isLoaded()?"":" (loading)");
} else
return ((IHierNode)element).getName();
}