Changeset 2275

Timestamp:

12/30/08 06:40:40 (3 years ago)

Author:

szabgab

Message:

turn on the ppi_highlighting menu option when reloading padre

File:

• trunk/Padre/lib/Padre/Wx/Menu/Perl.pm (modified) (2 diffs)

trunk/Padre/lib/Padre/Wx/Menu/Perl.pm

@@ -83 +83 @@
 
             # Update the colourise for each Perl editor
+            # TODO try to delay the actual color updating for the
+            # pages that are not in focus till they get in focus
             foreach my $editor ( $_[0]->pages ) {
                 my $doc = $editor->{Document};
@@ -104 +106 @@
 }
 
+sub refresh {
+    my $self     = shift;
+    my $config   = Padre->ide->config;
+
+    $self->{ppi_highlight}->Check( $config->{ppi_highlight} ? 1 : 0 );
+}
+
 1;