798 Insets correctWM = (parent != -1) ? XWM.getWM().getInsets(this, window, parent) : null;
799 if (insLog.isLoggable(PlatformLogger.Level.FINER)) {
800 if (correctWM != null) {
801 insLog.finer("Configure notify - insets : " + correctWM);
802 } else {
803 insLog.finer("Configure notify - insets are still not available");
804 }
805 }
806 if (correctWM != null) {
807 handleCorrectInsets(copyAndScaleDown(correctWM));
808 } else {
809 //Only one attempt to correct insets is made (to lower risk)
810 //if insets are still not available we simply set the flag
811 insets_corrected = true;
812 }
813 }
814
815 updateChildrenSizes();
816
817 Point newLocation = getNewLocation(xe, currentInsets.left, currentInsets.top);
818 WindowDimensions newDimensions =
819 new WindowDimensions(newLocation,
820 new Dimension(scaleDown(xe.get_width()),
821 scaleDown(xe.get_height())),
822 copy(currentInsets), true);
823
824 if (insLog.isLoggable(PlatformLogger.Level.FINER)) {
825 insLog.finer("Insets are {0}, new dimensions {1}",
826 currentInsets, newDimensions);
827 }
828
829 checkIfOnNewScreen(newDimensions.getBounds());
830
831 Point oldLocation = getLocation();
832 dimensions = newDimensions;
833 if (!newLocation.equals(oldLocation)) {
834 handleMoved(newDimensions);
835 }
836 reconfigureContentWindow(newDimensions);
837 updateChildrenSizes();
|
798 Insets correctWM = (parent != -1) ? XWM.getWM().getInsets(this, window, parent) : null;
799 if (insLog.isLoggable(PlatformLogger.Level.FINER)) {
800 if (correctWM != null) {
801 insLog.finer("Configure notify - insets : " + correctWM);
802 } else {
803 insLog.finer("Configure notify - insets are still not available");
804 }
805 }
806 if (correctWM != null) {
807 handleCorrectInsets(copyAndScaleDown(correctWM));
808 } else {
809 //Only one attempt to correct insets is made (to lower risk)
810 //if insets are still not available we simply set the flag
811 insets_corrected = true;
812 }
813 }
814
815 updateChildrenSizes();
816
817 Point newLocation = getNewLocation(xe, currentInsets.left, currentInsets.top);
818 if(isFullScreenExclusiveMode() && XWM.getWMID() == XWM.UNITY_COMPIZ_WM
819 && (newLocation.x !=0 || newLocation.y != 0) ) {
820 //8141528: fix Unity display mode transition
821 GraphicsConfiguration gc = getGraphicsConfiguration();
822 if(gc != null) {
823 DisplayMode dm = gc.getDevice().getDisplayMode();
824 if (dm != null) {
825 reshape(0, 0, scaleDown(dm.getWidth()),
826 scaleDown(dm.getHeight()));
827 }
828 return;
829 }
830 }
831 WindowDimensions newDimensions =
832 new WindowDimensions(newLocation,
833 new Dimension(scaleDown(xe.get_width()),
834 scaleDown(xe.get_height())),
835 copy(currentInsets), true);
836
837 if (insLog.isLoggable(PlatformLogger.Level.FINER)) {
838 insLog.finer("Insets are {0}, new dimensions {1}",
839 currentInsets, newDimensions);
840 }
841
842 checkIfOnNewScreen(newDimensions.getBounds());
843
844 Point oldLocation = getLocation();
845 dimensions = newDimensions;
846 if (!newLocation.equals(oldLocation)) {
847 handleMoved(newDimensions);
848 }
849 reconfigureContentWindow(newDimensions);
850 updateChildrenSizes();
|