Statistics
| Revision:

root / trunk / applications / appCatalogYNomenclatorClient / src / es / gva / cit / gazetteer / ui / SearchPanel.java @ 3069

History | View | Annotate | Download (20.9 KB)

1
/* gvSIG. Sistema de Informaci?n Geogr?fica de la Generalitat Valenciana
2
*
3
* Copyright (C) 2004 IVER T.I. and Generalitat Valenciana.
4
*
5
* This program is free software; you can redistribute it and/or
6
* modify it under the terms of the GNU General Public License
7
* as published by the Free Software Foundation; either version 2
8
* of the License, or (at your option) any later version.
9
*
10
* This program is distributed in the hope that it will be useful,
11
* but WITHOUT ANY WARRANTY; without even the implied warranty of
12
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
13
* GNU General Public License for more details.
14
*
15
* You should have received a copy of the GNU General Public License
16
* along with this program; if not, write to the Free Software
17
* Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA  02111-1307,USA.
18
*
19
* For more information, contact:
20
*
21
*  Generalitat Valenciana
22
*   Conselleria d'Infraestructures i Transport
23
*   Av. Blasco Ib??ez, 50
24
*   46010 VALENCIA
25
*   SPAIN
26
*
27
*      +34 963862235
28
*   gvsig@gva.es
29
*      www.gvsig.gva.es
30
*
31
*    or
32
*
33
*   IVER T.I. S.A
34
*   Salamanca 50
35
*   46005 Valencia
36
*   Spain
37
*
38
*   +34 963163400
39
*   dac@iver.es
40
*/
41
package es.gva.cit.gazetteer.ui;
42

    
43
import es.gva.cit.catalogClient.querys.Coordinates;
44
import es.gva.cit.gazetteer.querys.ThesaurusName;
45
import es.gva.cit.gazetteer.utils.ThesaurusJTree.ThesaurusJTree;
46

    
47
import java.awt.GridLayout;
48
import java.util.Vector;
49

    
50
import javax.swing.BoxLayout;
51
import javax.swing.ButtonGroup;
52
import javax.swing.JComboBox;
53
import javax.swing.JLabel;
54
import javax.swing.JPanel;
55
import javax.swing.JRadioButton;
56
import javax.swing.JTextField;
57

    
58

    
59
import javax.swing.JScrollPane;
60
import javax.swing.tree.DefaultMutableTreeNode;
61
/**
62
 * @author Jorge Piera Llodra (piera_jor@gva.es)
63
 */
64
public class SearchPanel extends JPanel {
65
    private String[] resultadosPorPagina = {"10","25","50"};
66
    private Vector features = null;
67
    private JTextField nombreText = null;
68
    private JPanel panelBotones = null;
69
    private JRadioButton exactaButton = null;
70
    private JRadioButton cualquieraButton = null;
71
    private JRadioButton todasButton = null;
72
    private JPanel panelLabNombre = null;
73
    private JLabel nombreLabel = null;
74
    private JPanel panelLabNResultados = null;
75
    private JLabel nResultadosLabel = null;
76
    private JComboBox nResultadosCombo = null;
77
    private JPanel panelAjusteBotones = null;
78
    private JPanel jPanel2 = null;
79
    private JPanel panelSeparacionDerecha = null;
80
    private JPanel panelSeparacionIzquierda = null;
81
    private JPanel jPanel3 = null;
82
    private JPanel panelSuperiores = null;
83
    private JPanel panelInferiores = null;
84
    private JLabel ULXLabel = null;
85
    private JTextField ULXText = null;
86
    private JLabel jLabel4 = null;
87
    private JLabel ULYLabel = null;
88
    private JTextField ULYText = null;
89
    private JLabel BRXLabel = null;
90
    private JTextField BRXText = null;
91
    private JLabel jLabel5 = null;
92
    private JLabel BRYLabel = null;
93
    private JTextField BRYText = null;
94
    private JPanel jPanel = null;
95
    private JPanel jPanel1 = null;
96
    private JPanel jPanel6 = null;
97
    private JPanel jPanel8 = null;
98
    private JPanel panelTextNombre = null;
99
    private JPanel panelNResultadosCombo = null;
100
    private JPanel panelLabTipo = null;
101
    private JPanel panelListTipo = null;
102
    private JLabel tipoLabel = null;
103
    private ThesaurusJTree thesaurusTree = null;
104
    private JComboBox coordenadasCombo = null;
105
    private JPanel jPanel4 = null;
106
    private JPanel componentesPanel = null;
107

    
108
        private JScrollPane jScrollThesauro = null;
109
        
110
    /**
111
     * This method initializes
112
     *
113
     */
114
    public SearchPanel(Vector features) {
115
        super();
116
        this.features = features;
117
        initialize();
118
    }
119

    
120
    /**
121
     * This method initializes this
122
     *
123
     * @return void
124
     */
125
    private void initialize() {
126
        this.setLayout(new BoxLayout(this, BoxLayout.Y_AXIS));
127
        this.setPreferredSize(new java.awt.Dimension(727, 450));
128
        this.setLocation(0, 0);
129
        this.setSize(727, 450);
130
        this.add(getComponentesPanel(), null);
131
    }
132

    
133
    /**
134
     * This method initializes jTextField
135
     *
136
     * @return javax.swing.JTextField
137
     */
138
    private JTextField getNombreText() {
139
        if (nombreText == null) {
140
            nombreText = new JTextField();
141
            nombreText.setPreferredSize(new java.awt.Dimension(300, 20));
142
        }
143

    
144
        return nombreText;
145
    }
146

    
147
    /**
148
     * This method initializes jPanel
149
     *
150
     * @return javax.swing.JPanel
151
     */
152
    private JPanel getPanelBotones() {
153
        if (panelBotones == null) {
154
            panelBotones = new JPanel();
155
            panelBotones.setLayout(new BoxLayout(panelBotones, BoxLayout.Y_AXIS));
156
            panelBotones.setBorder(javax.swing.BorderFactory.createTitledBorder(
157
                    null, "Concordancia",
158
                    javax.swing.border.TitledBorder.DEFAULT_JUSTIFICATION,
159
                    javax.swing.border.TitledBorder.DEFAULT_POSITION, null, null));
160
            panelBotones.add(getExactaButton(), null);
161
            panelBotones.add(getCualquieraButton(), null);
162
            panelBotones.add(getTodasButton(), null);
163

    
164
            ButtonGroup group = new ButtonGroup();
165
            group.add(getExactaButton());
166
            group.add(getCualquieraButton());
167
            group.add(getTodasButton());
168
        }
169

    
170
        return panelBotones;
171
    }
172

    
173
    /**
174
     * This method initializes jRadioButton
175
     *
176
     * @return javax.swing.JRadioButton
177
     */
178
    private JRadioButton getExactaButton() {
179
        if (exactaButton == null) {
180
            exactaButton = new JRadioButton();
181
            exactaButton.setText("Frase Exacta");
182
            exactaButton.setSelected(true);
183
        }
184

    
185
        return exactaButton;
186
    }
187

    
188
    /**
189
     * This method initializes jRadioButton1
190
     *
191
     * @return javax.swing.JRadioButton
192
     */
193
    private JRadioButton getCualquieraButton() {
194
        if (cualquieraButton == null) {
195
            cualquieraButton = new JRadioButton();
196
            cualquieraButton.setText("Cualquier Palabra");
197
        }
198

    
199
        return cualquieraButton;
200
    }
201

    
202
    /**
203
     * This method initializes jRadioButton2
204
     *
205
     * @return javax.swing.JRadioButton
206
     */
207
    private JRadioButton getTodasButton() {
208
        if (todasButton == null) {
209
            todasButton = new JRadioButton();
210
            todasButton.setText("Todas las Palabras");
211
        }
212

    
213
        return todasButton;
214
    }
215

    
216
    /**
217
     * This method initializes jPanel
218
     *
219
     * @return javax.swing.JPanel
220
     */
221
    private JPanel getPanelLabNombre() {
222
        if (panelLabNombre == null) {
223
            GridLayout gridLayout10 = new GridLayout();
224
            nombreLabel = new JLabel();
225
            panelLabNombre = new JPanel();
226
            panelLabNombre.setLayout(gridLayout10);
227
            nombreLabel.setText("Nombre");
228
            gridLayout10.setRows(1);
229
            panelLabNombre.add(nombreLabel, null);
230
        }
231

    
232
        return panelLabNombre;
233
    }
234

    
235
    /**
236
     * This method initializes jPanel
237
     *
238
     * @return javax.swing.JPanel
239
     */
240
    private JPanel getPanelLabNResultados() {
241
        if (panelLabNResultados == null) {
242
            nResultadosLabel = new JLabel();
243
            panelLabNResultados = new JPanel();
244

    
245
            GridLayout gridLayout2 = new GridLayout();
246
            panelLabNResultados.setLayout(gridLayout2);
247
            nResultadosLabel.setText("Resultados por p?ginas");
248
            panelLabNResultados.add(nResultadosLabel, null);
249
        }
250

    
251
        return panelLabNResultados;
252
    }
253

    
254
    /**
255
     * This method initializes jComboBox
256
     *
257
     * @return javax.swing.JComboBox
258
     */
259
    private JComboBox getNResultadosCombo() {
260
        if (nResultadosCombo == null) {
261
            nResultadosCombo = new JComboBox(resultadosPorPagina);
262
            nResultadosCombo.setPreferredSize(new java.awt.Dimension(300, 20));
263
            
264
        }
265

    
266
        return nResultadosCombo;
267
    }
268

    
269
    /**
270
     * This method initializes jPanel
271
     *
272
     * @return javax.swing.JPanel
273
     */
274
    private JPanel getPanelAjusteBotones() {
275
        if (panelAjusteBotones == null) {
276
            GridLayout gridLayout6 = new GridLayout();
277
            panelAjusteBotones = new JPanel();
278
            panelAjusteBotones.setLayout(gridLayout6);
279
            gridLayout6.setRows(1);
280
            panelAjusteBotones.add(getPanelBotones(), null);
281
        }
282

    
283
        return panelAjusteBotones;
284
    }
285

    
286
    /**
287
     * This method initializes jPanel2
288
     *
289
     * @return javax.swing.JPanel
290
     */
291
    private JPanel getJPanel2() {
292
        if (jPanel2 == null) {
293
            jPanel2 = new JPanel();
294
        }
295

    
296
        return jPanel2;
297
    }
298

    
299
    /**
300
     * This method initializes jPanel3
301
     *
302
     * @return javax.swing.JPanel
303
     */
304
    private JPanel getJPanel3() {
305
        if (panelSeparacionDerecha == null) {
306
            panelSeparacionDerecha = new JPanel();
307
            panelSeparacionDerecha.setLayout(new BoxLayout(
308
                    panelSeparacionDerecha, BoxLayout.Y_AXIS));
309
            panelSeparacionDerecha.setPreferredSize(new java.awt.Dimension(
310
                    325, 415));
311
            panelSeparacionDerecha.add(getJPanel37(), null);
312
            panelSeparacionDerecha.add(getJPanel4(), null);
313
            panelSeparacionDerecha.add(getJPanel1(), null);
314
            panelSeparacionDerecha.add(getJPanel8(), null);
315
        }
316

    
317
        return panelSeparacionDerecha;
318
    }
319

    
320
    /**
321
     * This method initializes jPanel3
322
     *
323
     * @return javax.swing.JPanel
324
     */
325
    private JPanel getJPanel33() {
326
        if (panelSeparacionIzquierda == null) {
327
            panelSeparacionIzquierda = new JPanel();
328
            panelSeparacionIzquierda.setLayout(new BoxLayout(
329
                    panelSeparacionIzquierda, BoxLayout.Y_AXIS));
330
            panelSeparacionIzquierda.setPreferredSize(new java.awt.Dimension(
331
                    325, 425));
332
            panelSeparacionIzquierda.add(getPanelLabNombre(), null);
333
            panelSeparacionIzquierda.add(getPanelTextNombre(), null);
334
            panelSeparacionIzquierda.add(getPanelAjusteBotones(), null);
335
            panelSeparacionIzquierda.add(getJPanel2(), null);
336
            panelSeparacionIzquierda.add(getPanelLabTipo(), null);
337
            panelSeparacionIzquierda.add(getPanelListTipo(), null);
338
            panelSeparacionIzquierda.add(getJPanel6(), null);
339
            panelSeparacionIzquierda.add(getPanelLabNResultados(), null);
340
            panelSeparacionIzquierda.add(getPanelNResultadosCombo(), null);
341
        }
342

    
343
        return panelSeparacionIzquierda;
344
    }
345

    
346
    /**
347
     * This method initializes jPanel3
348
     *
349
     * @return javax.swing.JPanel
350
     */
351
    private JPanel getJPanel37() {
352
        if (jPanel3 == null) {
353
            jPanel3 = new JPanel();
354
            jPanel3.setPreferredSize(new java.awt.Dimension(10, 10));
355
        }
356

    
357
        return jPanel3;
358
    }
359

    
360
    /**
361
     * This method initializes jPanel4
362
     *
363
     * @return javax.swing.JPanel
364
     */
365
    private JPanel getPanelSuperiores() {
366
        if (panelSuperiores == null) {
367
            ULXLabel = new JLabel();
368
            ULYLabel = new JLabel();
369
            jLabel4 = new JLabel();
370
            panelSuperiores = new JPanel();
371
            panelSuperiores.setBorder(javax.swing.BorderFactory.createTitledBorder(
372
                    null, "Superiores",
373
                    javax.swing.border.TitledBorder.DEFAULT_JUSTIFICATION,
374
                    javax.swing.border.TitledBorder.DEFAULT_POSITION, null, null));
375
            panelSuperiores.setPreferredSize(new java.awt.Dimension(213, 56));
376
            ULXLabel.setText("ULX:");
377
            jLabel4.setText("");
378
            jLabel4.setPreferredSize(new java.awt.Dimension(20, 0));
379
            ULYLabel.setText("ULY:");
380
            panelSuperiores.add(ULXLabel, null);
381
            panelSuperiores.add(getULXText(), null);
382
            panelSuperiores.add(jLabel4, null);
383
            panelSuperiores.add(ULYLabel, null);
384
            panelSuperiores.add(getULYText(), null);
385
        }
386

    
387
        return panelSuperiores;
388
    }
389

    
390
    /**
391
     * This method initializes jPanel4
392
     *
393
     * @return javax.swing.JPanel
394
     */
395
    private JPanel getPanelInferiores() {
396
        if (panelInferiores == null) {
397
            BRXLabel = new JLabel();
398
            BRYLabel = new JLabel();
399
            jLabel5 = new JLabel();
400
            panelInferiores = new JPanel();
401
            panelInferiores.setBorder(javax.swing.BorderFactory.createTitledBorder(
402
                    null, "Inferiores",
403
                    javax.swing.border.TitledBorder.DEFAULT_JUSTIFICATION,
404
                    javax.swing.border.TitledBorder.DEFAULT_POSITION, null, null));
405
            BRXLabel.setText("BRX:");
406
            jLabel5.setText("");
407
            jLabel5.setPreferredSize(new java.awt.Dimension(20, 0));
408
            BRYLabel.setText("BRY:");
409
            panelInferiores.add(BRXLabel, null);
410
            panelInferiores.add(getBRXText(), null);
411
            panelInferiores.add(jLabel5, null);
412
            panelInferiores.add(BRYLabel, null);
413
            panelInferiores.add(getBRYText(), null);
414
        }
415

    
416
        return panelInferiores;
417
    }
418

    
419
    /**
420
     * This method initializes jTextField
421
     *
422
     * @return javax.swing.JTextField
423
     */
424
    private JTextField getULXText() {
425
        if (ULXText == null) {
426
            ULXText = new JTextField();
427
            ULXText.setPreferredSize(new java.awt.Dimension(50, 20));
428
        }
429

    
430
        return ULXText;
431
    }
432

    
433
    /**
434
     * This method initializes jTextField
435
     *
436
     * @return javax.swing.JTextField
437
     */
438
    private JTextField getULYText() {
439
        if (ULYText == null) {
440
            ULYText = new JTextField();
441
            ULYText.setPreferredSize(new java.awt.Dimension(50, 20));
442
        }
443

    
444
        return ULYText;
445
    }
446

    
447
    /**
448
     * This method initializes jTextField
449
     *
450
     * @return javax.swing.JTextField
451
     */
452
    private JTextField getBRXText() {
453
        if (BRXText == null) {
454
            BRXText = new JTextField();
455
            BRXText.setPreferredSize(new java.awt.Dimension(50, 20));
456
        }
457

    
458
        return BRXText;
459
    }
460

    
461
    /**
462
     * This method initializes jTextField
463
     *
464
     * @return javax.swing.JTextField
465
     */
466
    private JTextField getBRYText() {
467
        if (BRYText == null) {
468
            BRYText = new JTextField();
469
            BRYText.setPreferredSize(new java.awt.Dimension(50, 20));
470
        }
471

    
472
        return BRYText;
473
    }
474

    
475
    /**
476
     * This method initializes jPanel
477
     *
478
     * @return javax.swing.JPanel
479
     */
480
    private JPanel getJPanel() {
481
        if (jPanel == null) {
482
            jPanel = new JPanel();
483
            jPanel.add(getCoordenadasCombo(), null);
484
        }
485

    
486
        return jPanel;
487
    }
488

    
489
    /**
490
     * This method initializes jPanel1
491
     *
492
     * @return javax.swing.JPanel
493
     */
494
    private JPanel getJPanel1() {
495
        if (jPanel1 == null) {
496
            jPanel1 = new JPanel();
497
            jPanel1.setPreferredSize(new java.awt.Dimension(10, 10));
498
        }
499

    
500
        return jPanel1;
501
    }
502

    
503
    /**
504
     * This method initializes jPanel6
505
     *
506
     * @return javax.swing.JPanel
507
     */
508
    private JPanel getJPanel6() {
509
        if (jPanel6 == null) {
510
            jPanel6 = new JPanel();
511
            jPanel6.setPreferredSize(new java.awt.Dimension(10, 10));
512
        }
513

    
514
        return jPanel6;
515
    }
516

    
517
    /**
518
     * This method initializes jPanel8
519
     *
520
     * @return javax.swing.JPanel
521
     */
522
    private JPanel getJPanel8() {
523
        if (jPanel8 == null) {
524
            jPanel8 = new JPanel();
525
            jPanel8.setPreferredSize(new java.awt.Dimension(10, 100));
526
        }
527

    
528
        return jPanel8;
529
    }
530

    
531
    /**
532
     * This method initializes jPanel9
533
     *
534
     * @return javax.swing.JPanel
535
     */
536
    private JPanel getPanelTextNombre() {
537
        if (panelTextNombre == null) {
538
            panelTextNombre = new JPanel();
539
            panelTextNombre.add(getNombreText(), null);
540
        }
541

    
542
        return panelTextNombre;
543
    }
544

    
545
    /**
546
     * This method initializes jPanel9
547
     *
548
     * @return javax.swing.JPanel
549
     */
550
    private JPanel getPanelNResultadosCombo() {
551
        if (panelNResultadosCombo == null) {
552
            panelNResultadosCombo = new JPanel();
553
            panelNResultadosCombo.add(getNResultadosCombo(), null);
554
        }
555

    
556
        return panelNResultadosCombo;
557
    }
558

    
559
    /**
560
     * This method initializes jPanel7
561
     *
562
     * @return javax.swing.JPanel
563
     */
564
    private JPanel getPanelLabTipo() {
565
        if (panelLabTipo == null) {
566
            tipoLabel = new JLabel();
567

    
568
            GridLayout gridLayout1 = new GridLayout();
569
            panelLabTipo = new JPanel();
570
            panelLabTipo.setLayout(gridLayout1);
571
            gridLayout1.setRows(1);
572
            tipoLabel.setText("Tipo");
573
            panelLabTipo.add(tipoLabel, null);
574
        }
575

    
576
        return panelLabTipo;
577
    }
578

    
579
    /**
580
     * This method initializes jPanel7
581
     *
582
     * @return javax.swing.JPanel
583
     */
584
    private JPanel getPanelListTipo() {
585
        if (panelListTipo == null) {
586
            panelListTipo = new JPanel();
587
            panelListTipo.add(getJScrollThesauro(), null);
588
        }
589

    
590
        return panelListTipo;
591
    }
592

    
593
    /**
594
     * This method initializes jTextField
595
     *
596
     * @return javax.swing.JTextField
597
     */
598
    public ThesaurusJTree getTipoList() {
599
        if (thesaurusTree == null) {
600
            int numFeatures;
601
            if (features == null){
602
                numFeatures = 0;
603
            }else{
604
                numFeatures = features.size();
605
            }
606
            
607
            ThesaurusName[] f = new ThesaurusName[numFeatures];
608
            for (int i=0 ; i<numFeatures ; i++){
609
                f[i] = (ThesaurusName)features.get(i);
610
            }
611
            thesaurusTree = new ThesaurusJTree(features);
612
        }
613

    
614
        return thesaurusTree;
615
    }
616

    
617
    public String getName() {
618
        if (getNombreText().getText().equals("")) {
619
            return null;
620
        }
621

    
622
        return getNombreText().getText();
623
    }
624

    
625
    public String getConcordancia() {
626
        if (getExactaButton().isSelected()) {
627
            return "E";
628
        }
629

    
630
        if (getCualquieraButton().isSelected()) {
631
            return "Y";
632
        }
633

    
634
        if (getTodasButton().isSelected()) {
635
            return "A";
636
        }
637

    
638
        return null;
639
    }
640

    
641
    public ThesaurusName getType() {
642
        DefaultMutableTreeNode dmt = (DefaultMutableTreeNode)thesaurusTree.getLastSelectedPathComponent();
643
        if (dmt == null)
644
            return null;
645
        return (ThesaurusName) dmt.getUserObject();
646
    }   
647

    
648
    public int getNPaginas() {
649
        String s = (String) getNResultadosCombo().getSelectedItem();
650
        return Integer.valueOf(s).intValue();
651
    }
652

    
653
    public Coordinates getCoordenadas() {
654
        return new Coordinates(getULXText().getText(), getULYText().getText(),
655
            getBRXText().getText(), getBRYText().getText());
656
    }
657

    
658
    public String getCoordenadasOpcion() {
659
        return (String) getCoordenadasCombo().getSelectedItem();
660
    }
661

    
662
    /**
663
     * This method initializes jComboBox
664
     *
665
     * @return javax.swing.JComboBox
666
     */
667
    private JComboBox getCoordenadasCombo() {
668
        if (coordenadasCombo == null) {
669
            String[] coordenadas = {
670
                    "igual", "contiene", "incluye", "est? totalmente fuera de"
671
                };
672
            coordenadasCombo = new JComboBox(coordenadas);
673
            coordenadasCombo.setPreferredSize(new java.awt.Dimension(300, 25));
674
        }
675

    
676
        return coordenadasCombo;
677
    }
678

    
679
    /**
680
     * This method initializes jPanel4
681
     *
682
     * @return javax.swing.JPanel
683
     */
684
    private JPanel getJPanel4() {
685
        if (jPanel4 == null) {
686
            jPanel4 = new JPanel();
687
            jPanel4.setLayout(new BoxLayout(jPanel4, BoxLayout.Y_AXIS));
688
            jPanel4.setBorder(javax.swing.BorderFactory.createTitledBorder(
689
                    null, "Coordenadas",
690
                    javax.swing.border.TitledBorder.DEFAULT_JUSTIFICATION,
691
                    javax.swing.border.TitledBorder.DEFAULT_POSITION, null, null));
692
            jPanel4.setPreferredSize(new java.awt.Dimension(315, 240));
693
            jPanel4.add(getPanelSuperiores(), null);
694
            jPanel4.add(getPanelInferiores(), null);
695
            jPanel4.add(getJPanel(), null);
696
        }
697

    
698
        return jPanel4;
699
    }
700

    
701
    /**
702
     * This method initializes jPanel5
703
     *
704
     * @return javax.swing.JPanel
705
     */
706
    private JPanel getComponentesPanel() {
707
        if (componentesPanel == null) {
708
            componentesPanel = new JPanel();
709
            componentesPanel.setPreferredSize(new java.awt.Dimension(665, 435));
710
            componentesPanel.add(getJPanel33(), null);
711
            componentesPanel.add(getJPanel3(), null);
712
        }
713

    
714
        return componentesPanel;
715
    }
716

    
717
        /**
718
         * This method initializes jScrollPane1        
719
         *         
720
         * @return javax.swing.JScrollPane        
721
         */    
722
        public JScrollPane getJScrollThesauro() {
723
                if (jScrollThesauro == null) {
724
                    jScrollThesauro = new JScrollPane(getTipoList());
725
                    jScrollThesauro.setVerticalScrollBarPolicy(javax.swing.JScrollPane.VERTICAL_SCROLLBAR_ALWAYS);
726
                    jScrollThesauro.setPreferredSize(new java.awt.Dimension(300,200));
727
                }
728
                return jScrollThesauro;
729
        }
730
  } //  @jve:decl-index=0:visual-constraint="10,10"