Changeset 1835

Timestamp:

09/10/04 13:57:29 (4 years ago)

Author:

timothy

Message:

Switching styles in the prefs no-longer flashes the display as the font preferences are changing.

Files:

• trunk/JVAppearancePreferences.m (modified) (5 diffs)

trunk/JVAppearancePreferences.m

@@ -116 +116 @@
-- (void) initializeFromDefaults {
-        [preview setPolicyDelegate:self];
+        [preview setFrameLoadDelegate:self];
-        [preview setUIDelegate:self];
-        [optionsTable setRefusesFirstResponder:YES];
@@ -180 +181 @@
-        _styleOptions = [[_style styleSheetOptions] mutableCopy];
-
+        [[preview window] disableFlushWindow];
+
-        [preview setPreferencesIdentifier:[_style identifier]];
-        // we shouldn't have to post this notification manually, but this seems to make webkit refresh with new prefs
-        [[NSNotificationCenter defaultCenter] postNotificationName:@"WebPreferencesChangedNotification" object:[preview preferences]];
-
-        WebPreferences *prefs = [preview preferences];
@@ -203 +204 @@
-        [self updatePreview];
-        [self parseStyleOptions];
+
+        if( [[preview window] isFlushWindowDisabled] )
+                [[preview window] enableFlushWindow];
-}
-
@@ -332 +336 @@
-
-        [WebCoreCache empty];
+
+        [[preview window] disableFlushWindow];
-        [[preview mainFrame] loadHTMLString:html baseURL:nil];
-}
@@ -362 +368 @@
-                [listener ignore];
-        }
+}
+
+- (void) webView:(WebView *) sender didFinishLoadForFrame:(WebFrame *) frame {
+        if( [[preview window] isFlushWindowDisabled] )
+                [[preview window] enableFlushWindow];
-}
-