refined margin top of loaded resources
This commit is contained in:
parent
ae98de5490
commit
71b47dd413
|
@ -737,6 +737,7 @@ public class ResourceManagementPortlet implements EntryPoint {
|
||||||
loadedResources.setWidth(35);
|
loadedResources.setWidth(35);
|
||||||
loadedResources.setText("0");
|
loadedResources.setText("0");
|
||||||
loadedResources.setBox(true);
|
loadedResources.setBox(true);
|
||||||
|
loadedResources.setStyleAttribute("margin-top", "-12px");
|
||||||
statusbar.add(loadedResources);
|
statusbar.add(loadedResources);
|
||||||
WidgetsRegistry.registerWidget(UIIdentifiers.STATUS_LOADED_RESOURCES_ID, loadedResources);
|
WidgetsRegistry.registerWidget(UIIdentifiers.STATUS_LOADED_RESOURCES_ID, loadedResources);
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue