120 (*env)->CallVoidMethod(env, self->jWindow, jWindowNotifyDestroy);
121 }
122 }
123
124 - (void)windowWillMove:(NSNotification *)notification
125 {
126 //NSLog(@"windowWillMove");
127 }
128
129 - (void)windowDidMove:(NSNotification *)notification
130 {
131 //NSLog(@"windowDidMove");
132 [self _sendJavaWindowMoveEventForFrame:[self _flipFrame]];
133 }
134
135 - (void)windowDidChangeBackingProperties:(NSNotification *)notification
136 {
137 // The spec for [NSWindow backingScaleFactor] only mentions 1.0 and 2.0
138 // whereas NSScreen's one is more generic. So use the latter.
139 if ([self->nsWindow screen]) {
140 [self->view notifyScaleFactorChanged:GetScreenScaleFactor([self->nsWindow screen])];
141 }
142
143 // Screen.notifySettingsChanged() calls Window.setScreen(), and the latter
144 // generates the Window.EventHandler.handleScreenChangedEvent notification.
145 }
146
147 - (NSSize)windowWillResize:(NSWindow *)window toSize:(NSSize)proposedFrameSize
148 {
149 //NSLog(@"windowWillResize");
150 return proposedFrameSize;
151 }
152
153 - (void)windowDidResize:(NSNotification *)notification
154 {
155 //NSLog(@"windowDidResize");
156 NSRect frame = [self _flipFrame];
157
158 if ((int)self->lastReportedLocation.x != (int)frame.origin.x ||
159 (int)self->lastReportedLocation.y != (int)frame.origin.y)
160 {
|
120 (*env)->CallVoidMethod(env, self->jWindow, jWindowNotifyDestroy);
121 }
122 }
123
124 - (void)windowWillMove:(NSNotification *)notification
125 {
126 //NSLog(@"windowWillMove");
127 }
128
129 - (void)windowDidMove:(NSNotification *)notification
130 {
131 //NSLog(@"windowDidMove");
132 [self _sendJavaWindowMoveEventForFrame:[self _flipFrame]];
133 }
134
135 - (void)windowDidChangeBackingProperties:(NSNotification *)notification
136 {
137 // The spec for [NSWindow backingScaleFactor] only mentions 1.0 and 2.0
138 // whereas NSScreen's one is more generic. So use the latter.
139 if ([self->nsWindow screen]) {
140 CGFloat scale = GetScreenScaleFactor([self->nsWindow screen]);
141 [self->view notifyScaleFactorChanged:scale];
142 [self _sendJavaWindowNotifyScaleChanged:scale];
143 }
144
145 // Screen.notifySettingsChanged() calls Window.setScreen(), and the latter
146 // generates the Window.EventHandler.handleScreenChangedEvent notification.
147 }
148
149 - (NSSize)windowWillResize:(NSWindow *)window toSize:(NSSize)proposedFrameSize
150 {
151 //NSLog(@"windowWillResize");
152 return proposedFrameSize;
153 }
154
155 - (void)windowDidResize:(NSNotification *)notification
156 {
157 //NSLog(@"windowDidResize");
158 NSRect frame = [self _flipFrame];
159
160 if ((int)self->lastReportedLocation.x != (int)frame.origin.x ||
161 (int)self->lastReportedLocation.y != (int)frame.origin.y)
162 {
|