* New upstream release:
[debian/jabref.git] / debian / patches / 08_HighlightFilter.patch
1 Author: gregor herrmann <gregoa@debian.org>
2 Description: we remove src/java/net/sf/jabref/about/HighlightFilter.java for license reasons,
3  so we can't use it either ...
4 Debian-specific: yes
5
6 --- a/src/java/net/sf/jabref/about/AboutPanel.java
7 +++ b/src/java/net/sf/jabref/about/AboutPanel.java
8 @@ -83,7 +83,6 @@
9  
10    private AnimationListener aniListener ;
11    private ImageProducer iProducer ;
12 -  private HighlightFilter filter ;
13  
14    AboutPanel()
15    {
16 @@ -99,10 +98,6 @@
17  
18      image = new ImageIcon(getClass().getResource("/images/autumn.png"));
19  
20 -    filter = new HighlightFilter(false, 5) ;
21 -    filter.setMiddle(image.getIconWidth(), image.getIconHeight());
22 -    iProducer = new FilteredImageSource( image.getImage().getSource(), filter) ;
23 -
24      HEIGHT = image.getIconHeight() ;
25      WIDTH = image.getIconWidth() ;
26  
27 @@ -297,10 +292,6 @@
28      else
29      {
30        image.paintIcon(this, g, 0, 0);
31 -      if (filter.isReady())
32 -      {
33 -        skipAnimation() ;
34 -      }
35      }
36    }
37  // ----------------------------------------------------------------------------
38 @@ -417,7 +408,6 @@
39              sleepTime -= sleepTime / 3 ;
40  
41            image.setImage( createImage( iProducer) );
42 -          filter.nextStep();
43            repaint(0, 0, WIDTH, HEIGHT) ;
44          }
45        }