public void updateUI (VMDNodeWidget widget, ObjectState previousState, ObjectState state) { if (! previousState.isSelected () && state.isSelected ()) widget.bringToFront (); boolean hover = state.isHovered () || state.isFocused (); widget.getHeader ().setOpaque (hover); if (state.isSelected ()) widget.setBorder (BORDER60_SELECT); else if (state.isHovered ()) widget.setBorder (BORDER60_HOVER); else if (state.isFocused ()) widget.setBorder (BORDER60_HOVER); else widget.setBorder (BORDER60); }
public void updateUI (VMDNodeWidget widget, ObjectState previousState, ObjectState state) { if (! previousState.isSelected () && state.isSelected ()) widget.bringToFront (); boolean hover = state.isHovered () || state.isFocused (); widget.getHeader ().setOpaque (hover); if (state.isSelected ()) widget.setBorder (BORDER60_SELECT); else if (state.isHovered ()) widget.setBorder (BORDER60_HOVER); else if (state.isFocused ()) widget.setBorder (BORDER60_HOVER); else widget.setBorder (BORDER60); }
public void installUI (VMDNodeWidget widget) { widget.setBorder (BORDER60); Widget header = widget.getHeader (); header.setBackground (COLOR60_HOVER_BACKGROUND); header.setBorder (VMDOriginalColorScheme.BORDER_PIN); Widget pinsSeparator = widget.getPinsSeparator (); pinsSeparator.setForeground (VMDOriginalColorScheme.BORDER_CATEGORY_BACKGROUND); }
public void installUI (VMDNodeWidget widget) { widget.setBorder (BORDER60); Widget header = widget.getHeader (); header.setBackground (COLOR60_HOVER_BACKGROUND); header.setBorder (VMDOriginalColorScheme.BORDER_PIN); Widget pinsSeparator = widget.getPinsSeparator (); pinsSeparator.setForeground (VMDOriginalColorScheme.BORDER_CATEGORY_BACKGROUND); }
public void installUI (VMDNodeWidget widget) { widget.setBorder (VMDFactory.createVMDNodeBorder ()); widget.setOpaque (false); Widget header = widget.getHeader (); header.setBorder (BORDER_PIN); header.setBackground (COLOR_SELECTED); header.setOpaque (false); Widget minimize = widget.getMinimizeButton (); minimize.setBorder (BORDER_MINIMIZE); Widget pinsSeparator = widget.getPinsSeparator (); pinsSeparator.setForeground (BORDER_CATEGORY_BACKGROUND); }
public void installUI (VMDNodeWidget widget) { widget.setBorder (VMDFactory.createVMDNodeBorder ()); widget.setOpaque (false); Widget header = widget.getHeader (); header.setBorder (BORDER_PIN); header.setBackground (COLOR_SELECTED); header.setOpaque (false); Widget minimize = widget.getMinimizeButton (); minimize.setBorder (BORDER_MINIMIZE); Widget pinsSeparator = widget.getPinsSeparator (); pinsSeparator.setForeground (BORDER_CATEGORY_BACKGROUND); }