Ticket #835: fix.patch

File fix.patch, 869 bytes (added by karl.forner, 4 years ago)
  • Main.pm

    old new  
    14431443# this even though that should not be necessary can that be 
    14441444# eliminated ? 
    14451445sub refresh_functions { 
    1446     my $self = shift; 
    1447     return unless $self->has_functions; 
    1448     return if $self->locked('REFRESH'); 
    1449     return unless $self->menu->view->{functions}->IsChecked; 
    1450     $self->functions->refresh(@_); 
    1451     return; 
     1446    my $self = shift; 
     1447    return unless $self->has_functions; 
     1448    return if $self->locked('REFRESH'); 
     1449    return unless $self->menu->view->{functions}->IsChecked?; 
     1450    my @windows = @_; 
     1451    push @windows, $self->current unless @windows; 
     1452    $self->functions->refresh(@windows); 
     1453    return; 
    14521454} 
    14531455 
     1456 
    14541457# TO DO now on every ui change (move of the mouse) we refresh 
    14551458# this even though that should not be necessary can that be 
    14561459# eliminated ?