Subversion Repositories wimsdev

Rev

Rev 3653 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed

Rev 3653 Rev 13126
Line 98... Line 98...
98
                t_arrow="Pfeil";
98
                t_arrow="Pfeil";
99
                t_rectangle="Rechteck";
99
                t_rectangle="Rechteck";
100
                t_ellipse="Ellipse";
100
                t_ellipse="Ellipse";
101
                t_text="Text";
101
                t_text="Text";
102
                t_circle="Kreis";
102
                t_circle="Kreis";
103
                t_destroy="löschen";
103
                t_destroy="löschen";
104
                t_move="verlagern";
104
                t_move="verlagern";
105
                t_press="Drücken Sie auf \"Eingabe\" am Ende des Textes";
105
                t_press="Drücken Sie auf \"Eingabe\" am Ende des Textes";
106
            }
106
            }
107
            if(param.equalsIgnoreCase("fr")){
107
            if(param.equalsIgnoreCase("fr")){
108
                t_line="droite";
108
                t_line="droite";
109
                t_arrow="flèche";
109
                t_arrow="flèche";
110
                t_rectangle="rectangle";
110
                t_rectangle="rectangle";
111
                t_ellipse="ellips";
111
                t_ellipse="ellips";
112
                t_text="texte";
112
                t_text="texte";
113
                t_circle="cercle ";
113
                t_circle="cercle ";
114
                t_destroy="effacer";
114
                t_destroy="effacer";
115
                t_move="déplacer";
115
                t_move="déplacer";
116
                t_press="Press return to finish the text";
116
                t_press="Press return to finish the text";
117
            }
117
            }
118
        }
118
        }
119
        param = getParameter("penfontsize");
119
        param = getParameter("penfontsize");
120
        if(param != null) {penfontsize=Integer.parseInt(param,10); penfont= new Font("Helvetica", Font.BOLD, penfontsize);}
120
        if(param != null) {penfontsize=Integer.parseInt(param,10); penfont= new Font("Helvetica", Font.BOLD, penfontsize);}