This changes help popups (under the "?" buttons on the palette and properties panels) to inherit from GWT DialogBox, which is draggable. These classes previously inherited from PopupPanel, which did not drag. Dragging was requested on the community forum, particularly for the newer property popups because the popup usually covered part of the property editor when open.
Making the popups match their previous version involved moving some formatting out of the java code and into css, which ought to be a good thing.
In addition, I shuffled some css to prevent the properties panel in Neo from expanding when the variable name is too long.
This changes help popups (under the "?" buttons on the palette and properties panels) to inherit from GWT DialogBox, which is draggable. These classes previously inherited from PopupPanel, which did not drag. Dragging was requested on the community forum, particularly for the newer property popups because the popup usually covered part of the property editor when open.
Making the popups match their previous version involved moving some formatting out of the java code and into css, which ought to be a good thing.
In addition, I shuffled some css to prevent the properties panel in Neo from expanding when the variable name is too long.