guiserver/java/WindowFrame.java

   1 //
   2 //  WindowFrame.java
   3 //  guiserver
   4 //
   5 //  Created by Lutz Mueller on 5/11/07.
   6 //
   7 //
   8 //    Copyright (C) 2007 Lutz Mueller
   9 //
  10 //    This program is free software: you can redistribute it and/or modify
  11 //    it under the terms of the GNU General Public License as published by
  12 //    the Free Software Foundation, either version 3 of the License, or
  13 //    (at your option) any later version.
  14 //
  15 //    This program is distributed in the hope that it will be useful,
  16 //    but WITHOUT ANY WARRANTY; without even the implied warranty of
  17 //    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  18 //    GNU General Public License for more details.
  19 //
  20 //    You should have received a copy of the GNU General Public License
  21 //    along with this program.  If not, see <http://www.gnu.org/licenses/>.
  22 //
  23
  24
  25 import java.awt.*;
  26 import java.awt.color.*;
  27 import java.awt.event.*;
  28 import javax.swing.*;
  29 import java.util.*;
  30 import java.io.*;
  31
  32 @SuppressWarnings("unchecked")
  33 public class WindowFrame extends gsObject  {
  34
  35 JFrame jframe;
  36 String frameCloseAction = null;
  37 String frameMoveAction = null;
  38 String frameResizeAction = null;
  39
  40
  41 public WindowFrame(StringTokenizer params)
  42         {
  43         jframe = new JFrame();
  44
  45         id = params.nextToken();
  46         container = jframe.getContentPane();
  47         component = container;
  48
  49         int x = Integer.parseInt(params.nextToken());
  50         int y = Integer.parseInt(params.nextToken());
  51         int width = Integer.parseInt(params.nextToken());
  52         int height = Integer.parseInt(params.nextToken());
  53
  54         gsObject.widgets.put(id, this);
  55
  56         jframe.setBounds(x, y, width, height);
  57
  58         // not visible on OSX, but on Win32 and Linux
  59         jframe.setIconImage(Toolkit.getDefaultToolkit().getImage(getClass().getResource("/images/newLISP32.png")));
  60
  61         if(params.hasMoreTokens())
  62                 jframe.setTitle(Base64Coder.decodeString(params.nextToken()));
  63
  64         if(params.hasMoreTokens())
  65                 {
  66                 if(params.nextToken().equals("true"))
  67                         jframe.setVisible(true);
  68                 }
  69
  70
  71         WindowAdapter listener = new WindowAdapter() {
  72                 public void windowClosing(WindowEvent w)
  73                         {
  74                         if(frameCloseAction != null)
  75                                 {
  76                                 jframe.setDefaultCloseOperation(JFrame.DO_NOTHING_ON_CLOSE);
  77                                 guiserver.out.println("(" + frameCloseAction + "\"" + id + "\")");
  78                                 guiserver.out.flush();
  79                                 }
  80                         }
  81                 };
  82
  83         jframe.addWindowListener(listener);
  84
  85
  86         ComponentAdapter componentListener = new ComponentAdapter() {
  87                 public void componentResized(ComponentEvent re)
  88                         {
  89                         if(frameResizeAction != null)
  90                                 {
  91                                 guiserver.out.println("(" + frameResizeAction + "\"" + id + "\"" +
  92                                                 jframe.getWidth() + " " + jframe.getHeight() +")");
  93                                 guiserver.out.flush();
  94                                 }
  95                         }
  96
  97                 public void componentMoved(ComponentEvent me)
  98                         {
  99                         if(frameMoveAction != null)
 100                                 {
 101                                 guiserver.out.println("(" + frameMoveAction + "\"" + id + "\"" +
 102                                                 jframe.getLocationOnScreen().x + " " + jframe.getLocationOnScreen().y +")");
 103                                 guiserver.out.flush();
 104                                 }
 105                         }
 106                 };
 107
 108         jframe.addComponentListener(componentListener);
 109
 110         jframe.setDefaultCloseOperation(JFrame.EXIT_ON_CLOSE);
 111         }
 112
 113
 114 public void setVisible(StringTokenizer tokens)
 115         {
 116         //jframe.pack();
 117         if(tokens.nextToken().equals("true"))
 118                 jframe.setVisible(true);
 119         else
 120                 jframe.setVisible(false);
 121         }
 122
 123
 124 public void setText(StringTokenizer tokens)
 125         {
 126         String text = Base64Coder.decodeString(tokens.nextToken());
 127         jframe.setTitle(text);
 128         }
 129
 130
 131 public void getText(StringTokenizer tokens)
 132         {
 133         String action = tokens.nextToken();
 134         String text = jframe.getTitle();
 135         if(text.length() == 0)
 136                 guiserver.out.println("(" + action + " \"" + id + "\")");
 137         else
 138                 guiserver.out.println("(" + action + " \"" + id + "\" [text]" + Base64Coder.encodeString(text) + "[/text])");
 139         guiserver.out.flush();
 140         }
 141
 142
 143 public void clearText(StringTokenizer tokens)
 144         {
 145         jframe.setTitle("");
 146         }
 147
 148
 149 public void setResizable(StringTokenizer tokens)
 150         {
 151         if(tokens.nextToken().equals("true"))
 152                 jframe.setResizable(true);
 153         else
 154                 jframe.setResizable(false);
 155         }
 156
 157
 158 public void confirmDialog(StringTokenizer tokens)
 159         {
 160         String action = tokens.nextToken();
 161         String title = Base64Coder.decodeString(tokens.nextToken());
 162         String message = Base64Coder.decodeString(tokens.nextToken());
 163         int option = JOptionPane.YES_NO_OPTION;
 164
 165         if(tokens.hasMoreTokens())
 166                 {
 167                 if(!tokens.nextToken().equals("yes-no"))
 168                         option = JOptionPane.YES_NO_CANCEL_OPTION;
 169                 }
 170
 171         int result = JOptionPane.showConfirmDialog(jframe, message, title, option);
 172
 173         guiserver.out.println("(" + action + " \"" + id + "\" " + result + ")");
 174         guiserver.out.flush();
 175         }
 176
 177
 178 public void messageDialog(StringTokenizer tokens)
 179         {
 180         String title = Base64Coder.decodeString(tokens.nextToken());
 181         String message = Base64Coder.decodeString(tokens.nextToken());
 182         int option = JOptionPane.PLAIN_MESSAGE;
 183         String path;
 184
 185         if(tokens.hasMoreTokens())
 186                 {
 187                 String soption = tokens.nextToken();
 188                 if(soption.equals("error")) option = JOptionPane.ERROR_MESSAGE;
 189                 if(soption.equals("information")) option = JOptionPane.INFORMATION_MESSAGE;
 190                 if(soption.equals("warning")) option = JOptionPane.WARNING_MESSAGE;
 191                 if(soption.equals("question")) option = JOptionPane.QUESTION_MESSAGE;
 192                 }
 193
 194         if(tokens.hasMoreTokens())
 195                 {
 196                 path = Base64Coder.decodeString(tokens.nextToken());
 197                 JOptionPane.showMessageDialog(jframe, message, title, option,
 198                                 guiserver.getIconFromPath(path, this.getClass()));
 199                 }
 200         else
 201                 JOptionPane.showMessageDialog(jframe, message, title, option);
 202         }
 203
 204
 205 public void ColorChooser(StringTokenizer tokens)
 206         {
 207         Color color;
 208         String action = tokens.nextToken();
 209         String title = Base64Coder.decodeString(tokens.nextToken());
 210         Float red;
 211         Float green;
 212         Float blue;
 213
 214         if(tokens.hasMoreTokens()) // get initial color
 215                 {
 216                 red = Float.parseFloat(tokens.nextToken());
 217                 green = Float.parseFloat(tokens.nextToken());
 218                 blue = Float.parseFloat(tokens.nextToken());
 219                 color = new Color(red, green, blue);
 220                 }
 221         else color = Color.white;
 222
 223         color = JColorChooser.showDialog(jframe, title, color);
 224
 225         if(color == null)
 226                 {
 227                 guiserver.out.println("(" + action + " \"" + id + "\" \"color\")");
 228                 guiserver.out.flush();
 229                 return;
 230                 }
 231
 232         red = (new Integer(color.getRed())).floatValue();
 233         green = (new Integer(color.getGreen())).floatValue();
 234         blue = (new Integer(color.getBlue())).floatValue();
 235
 236         red = red/255;
 237         green = green/255;
 238         blue = blue/255;
 239
 240         guiserver.out.println("(" + action + " \"" + id + "\" \"color\" " + red +  " " + green + " " + blue + ")");
 241         guiserver.out.flush();
 242         }
 243
 244 public void OpenFileChooser(StringTokenizer tokens)
 245         {
 246         JFileChooser filechooser;
 247         String file = null;
 248
 249         String action = tokens.nextToken();
 250
 251         if(tokens.hasMoreTokens())
 252                 filechooser = new JFileChooser(Base64Coder.decodeString(tokens.nextToken()));
 253         else
 254                 filechooser = new JFileChooser();
 255
 256         filechooser.setFileSelectionMode(JFileChooser.FILES_AND_DIRECTORIES);
 257
 258         if(tokens.hasMoreTokens())
 259                 {
 260                 MyFileFilter myfilter = new MyFileFilter();
 261                 myfilter.extensions = Base64Coder.decodeString(tokens.nextToken());
 262                 myfilter.description = Base64Coder.decodeString(tokens.nextToken());
 263
 264                 filechooser.setFileFilter(myfilter);
 265                 }
 266
 267         int selected = filechooser.showOpenDialog(container);
 268
 269         if(selected == JFileChooser.APPROVE_OPTION)
 270                 {
 271                 file = Base64Coder.encodeString(filechooser.getSelectedFile().getAbsolutePath());
 272                 guiserver.out.println("(" + action + " \"" + id + "\" \"open\" " + "\"" + file + "\")");
 273                 }
 274         else
 275                 {
 276                 guiserver.out.println("(" + action + " \"" + id + "\" \"open\")");
 277                 }
 278
 279         guiserver.out.flush();
 280         }
 281
 282
 283 public void SaveFileChooser(StringTokenizer tokens)
 284         {
 285         JFileChooser filechooser;
 286         String file = null;
 287         String initialFile = null;
 288
 289         String action = tokens.nextToken();
 290
 291         if(tokens.hasMoreTokens()) // initial directory
 292                 filechooser = new JFileChooser(Base64Coder.decodeString(tokens.nextToken()));
 293         else
 294                 filechooser = new JFileChooser();
 295
 296         if(tokens.hasMoreTokens()) // initial file name
 297                 {
 298                 initialFile = Base64Coder.decodeString(tokens.nextToken());
 299                 filechooser.setSelectedFile(new File(initialFile));
 300                 }
 301
 302
 303         if(tokens.hasMoreTokens())
 304                 {
 305                 MyFileFilter myfilter = new MyFileFilter();
 306                 myfilter.extensions = Base64Coder.decodeString(tokens.nextToken());
 307                 myfilter.description = Base64Coder.decodeString(tokens.nextToken());
 308                 filechooser.setFileFilter(myfilter);
 309                 }
 310
 311         int selected = filechooser.showSaveDialog(container);
 312
 313         if(selected == JFileChooser.APPROVE_OPTION)
 314                 {
 315                 file = Base64Coder.encodeString(filechooser.getSelectedFile().getAbsolutePath());
 316                 guiserver.out.println("(" + action + " \"" + id + "\" \"save\" " + "\"" + file + "\")");
 317                 }
 318         else
 319                 guiserver.out.println("(" + action + " \"" + id + "\" \"save\")");
 320
 321         guiserver.out.flush();
 322         }
 323
 324 public void setFont(StringTokenizer tokens)
 325         {
 326         ErrorDialog.wrongApplication(Dispatcher.cmd, id);
 327         }
 328
 329 public void setToolTip(StringTokenizer tokens)
 330         {
 331         ErrorDialog.wrongApplication(Dispatcher.cmd, id);
 332         }
 333
 334 public void dispose(StringTokenizer tokens)
 335         {
 336         jframe.dispose();
 337         }
 338
 339 public void setPreferredSize(StringTokenizer tokens)
 340         {
 341         int width = Integer.parseInt(tokens.nextToken());
 342         int height = Integer.parseInt(tokens.nextToken());
 343         jframe.setSize(new Dimension(width, height));
 344         }
 345
 346 public void setBackground(StringTokenizer tokens)
 347         {
 348         Float red = Float.parseFloat(tokens.nextToken());
 349         Float green = Float.parseFloat(tokens.nextToken());
 350         Float blue = Float.parseFloat(tokens.nextToken());
 351         if(tokens.hasMoreTokens())
 352                 {
 353                 Float alpha = Float.parseFloat(tokens.nextToken());
 354                 jframe.setBackground(new Color(red, green, blue, alpha));
 355                 }
 356         else
 357                 jframe.setBackground(new Color(red, green, blue));
 358         }
 359
 360 public void requestFocus(StringTokenizer tokens)
 361         {
 362         jframe.requestFocus();
 363         }
 364
 365 public void frameCloseEvent(StringTokenizer tokens)
 366         {
 367         frameCloseAction = tokens.nextToken();
 368         }
 369
 370 public void frameResizeEvent(StringTokenizer tokens)
 371         {
 372         frameResizeAction = tokens.nextToken();
 373         }
 374
 375 public void frameMoveEvent(StringTokenizer tokens)
 376         {
 377         frameMoveAction = tokens.nextToken();
 378         }
 379
 380 public void getBounds(StringTokenizer tokens)
 381         {
 382         int x, y, width, height;
 383
 384         x = jframe.getLocationOnScreen().x;
 385         y = jframe.getLocationOnScreen().y;
 386
 387         width = jframe.getWidth();
 388         height = jframe.getHeight();
 389
 390         guiserver.out.println("( set 'gs:bounds '(" + x + " " + y + " " + width + " " + height + "))\n");
 391         guiserver.out.flush();
 392         }
 393
 394 }
 395
 396
 397 // eof //