← Back to branch summary

~ubuntu-branches/ubuntu/trusty/mediathekview/trusty

« back to all changes in this revision

Viewing changes to src/mediathek/gui/InfoPanel.java

  • Committer: Package Import Robot
  • Author(s): Markus Koschany, 6ba46ec
  • Date: 2013-05-06 18:04:44 UTC
  • mfrom: (4.1.2 sid)
  • Revision ID: package-import@ubuntu.com-20130506180444-oe1knj8kfeshvd8x
Tags: 3.2.1-2
http://bugs.debian.org/706925
[6ba46ec] Add Build-with-libjgoodies-forms-java-1.6 patch.
This patch fixes a compatibility issue with libjgoodies-forms-java 1.6. The
former class FormFactory has been renamed to FormSpecs which rendered
MediathekView unusable. (Closes: #706925)

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/mediathek/gui/InfoPanel.java
7
7
import java.awt.Dimension;
8
8
import java.awt.event.ActionEvent;
9
9
import java.awt.event.ActionListener;
 
10
import javax.swing.SwingUtilities;
10
11
import mediathek.controller.filmeLaden.ListenerFilmeLadenEvent;
11
12
import mediathek.daten.Daten;
12
 
import mediathek.daten.ListeFilme;
13
13
import mediathek.tool.GuiFunktionen;
 
14
import mediathek.tool.Log;
14
15
 
15
16
/**
16
17
 *
26
27
    private String[] idx = new String[IDX_MAX];
27
28
    private int aktIdx = 0;
28
29
    private boolean stopTimer = false;
29
 
    private String textRechts;
30
 
    private int sekunden;
31
 
    private int minuten;
32
 
    private String sek;
33
 
    private String min;
34
 
    private String stu;
35
30
 
36
31
    public InfoPanel() {
37
32
        initComponents();
39
34
    }
40
35
 
41
36
    private void init() {
 
37
        setBackground(new java.awt.Color(204, 204, 204));
 
38
        setBorder(javax.swing.BorderFactory.createLineBorder(new java.awt.Color(153, 153, 153)));
42
39
        clearProgress();
43
40
        for (int i = 0; i < IDX_MAX; ++i) {
44
41
            idx[i] = "";
94
91
 
95
92
    private void setInfoRechts() {
96
93
        // Text rechts: alter/neuladenIn anzeigen
97
 
        textRechts = "Filmliste erstellt: ";
 
94
        String textRechts = "Filmliste erstellt: ";
98
95
        textRechts += Daten.listeFilme.erstellt();
99
96
        textRechts += " Uhr  ";
100
 
        sekunden = Daten.listeFilme.alterFilmlisteSek();
 
97
        int sekunden = Daten.listeFilme.alterFilmlisteSek();
101
98
        if (sekunden != 0) {
102
99
            textRechts += "||  Alter: ";
103
 
            minuten = sekunden / 60;
104
 
            sek = String.valueOf(sekunden % 60);
105
 
            min = String.valueOf(minuten % 60);
106
 
            stu = String.valueOf(minuten / 60);
 
100
            int minuten = sekunden / 60;
 
101
            String sek = String.valueOf(sekunden % 60);
 
102
            String min = String.valueOf(minuten % 60);
 
103
            String stu = String.valueOf(minuten / 60);
107
104
            while (sek.length() < 2) {
108
105
                sek = "0" + sek;
109
106
            }
184
181
        @Override
185
182
        public synchronized void run() {
186
183
            while (true) {
187
 
                schlafen();
188
 
                if (!stopTimer) {
189
 
                    setInfoRechts();
 
184
                try {
 
185
                    schlafen();
 
186
                    if (!stopTimer) {
 
187
                        SwingUtilities.invokeAndWait(new Runnable() {
 
188
                            @Override
 
189
                            public void run() {
 
190
                                setInfoRechts();
 
191
                            }
 
192
                        });
 
193
                    }
 
194
                } catch (Exception ex) {
 
195
                    Log.fehlerMeldung(936251087, Log.FEHLER_ART_PROG, InfoPanel.class.getName(), ex);
190
196
                }
191
197
            }
192
198
        }