addResizeHandlers: function() {
window.addEventListener('resize', UI.applyResizeMode);
window.addEventListener('resize', UI.updateViewClip);
- window.addEventListener('resize', UI.updateViewDrag);
},
addControlbarHandlers: function() {
// the size of the browser window.
display.viewportChangeSize(size.w, size.h);
}
+
+ // Changing the viewport may change the state of
+ // the dragging button
+ UI.updateViewDrag();
},
// Handle special cases where clipping is forced on/off or locked
updateSessionSize: function(rfb, width, height) {
UI.updateViewClip();
- UI.updateViewDrag();
},
updateDesktopName: function(rfb, name) {