TFontChooserWindow.java

   1 /*
   2  * Jexer - Java Text User Interface
   3  *
   4  * The MIT License (MIT)
   5  *
   6  * Copyright (C) 2019 Kevin Lamonte
   7  *
   8  * Permission is hereby granted, free of charge, to any person obtaining a
   9  * copy of this software and associated documentation files (the "Software"),
  10  * to deal in the Software without restriction, including without limitation
  11  * the rights to use, copy, modify, merge, publish, distribute, sublicense,
  12  * and/or sell copies of the Software, and to permit persons to whom the
  13  * Software is furnished to do so, subject to the following conditions:
  14  *
  15  * The above copyright notice and this permission notice shall be included in
  16  * all copies or substantial portions of the Software.
  17  *
  18  * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
  19  * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
  20  * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL
  21  * THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
  22  * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
  23  * FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER
  24  * DEALINGS IN THE SOFTWARE.
  25  *
  26  * @author Kevin Lamonte [kevin.lamonte@gmail.com]
  27  * @version 1
  28  */
  29 package jexer;
  30
  31 import java.awt.Font;
  32 import java.awt.GraphicsEnvironment;
  33 import java.util.ArrayList;
  34 import java.util.Arrays;
  35 import java.util.List;
  36 import java.util.ResourceBundle;
  37
  38 import jexer.backend.ECMA48Terminal;
  39 import jexer.backend.SwingTerminal;
  40 import jexer.bits.CellAttributes;
  41 import jexer.bits.GraphicsChars;
  42 import jexer.event.TKeypressEvent;
  43 import static jexer.TKeypress.*;
  44
  45 /**
  46  * TFontChooserWindow provides an easy UI for users to alter the running
  47  * font.
  48  *
  49  */
  50 public class TFontChooserWindow extends TWindow {
  51
  52     /**
  53      * Translated strings.
  54      */
  55     private static final ResourceBundle i18n = ResourceBundle.getBundle(TFontChooserWindow.class.getName());
  56
  57     // ------------------------------------------------------------------------
  58     // Variables --------------------------------------------------------------
  59     // ------------------------------------------------------------------------
  60
  61     /**
  62      * The Swing screen.
  63      */
  64     private SwingTerminal terminal = null;
  65
  66     /**
  67      * The ECMA48 screen.
  68      */
  69     private ECMA48Terminal ecmaTerminal = null;
  70
  71     /**
  72      * The font name.
  73      */
  74     private TComboBox fontName;
  75
  76     /**
  77      * The font size.
  78      */
  79     private TField fontSize;
  80
  81     /**
  82      * The X text adjustment.
  83      */
  84     private TField textAdjustX;
  85
  86     /**
  87      * The Y text adjustment.
  88      */
  89     private TField textAdjustY;
  90
  91     /**
  92      * The height text adjustment.
  93      */
  94     private TField textAdjustHeight;
  95
  96     /**
  97      * The width text adjustment.
  98      */
  99     private TField textAdjustWidth;
 100
 101     /**
 102      * The sixel palette size.
 103      */
 104     private TComboBox sixelPaletteSize;
 105
 106     /**
 107      * The original font size.
 108      */
 109     private int oldFontSize = 20;
 110
 111     /**
 112      * The original font.
 113      */
 114     private Font oldFont = null;
 115
 116     /**
 117      * The original text adjust X value.
 118      */
 119     private int oldTextAdjustX = 0;
 120
 121     /**
 122      * The original text adjust Y value.
 123      */
 124     private int oldTextAdjustY = 0;
 125
 126     /**
 127      * The original text adjust height value.
 128      */
 129     private int oldTextAdjustHeight = 0;
 130
 131     /**
 132      * The original text adjust width value.
 133      */
 134     private int oldTextAdjustWidth = 0;
 135
 136     /**
 137      * The original sixel palette (number of colors) value.
 138      */
 139     private int oldSixelPaletteSize = 1024;
 140
 141     // ------------------------------------------------------------------------
 142     // Constructors -----------------------------------------------------------
 143     // ------------------------------------------------------------------------
 144
 145     /**
 146      * Public constructor.  The window will be centered on screen.
 147      *
 148      * @param application the TApplication that manages this window
 149      */
 150     public TFontChooserWindow(final TApplication application) {
 151
 152         // Register with the TApplication
 153         super(application, i18n.getString("windowTitle"), 0, 0, 60, 21, MODAL);
 154
 155         // Add shortcut text
 156         newStatusBar(i18n.getString("statusBar"));
 157
 158         if (getScreen() instanceof SwingTerminal) {
 159             terminal = (SwingTerminal) getScreen();
 160         }
 161         if (getScreen() instanceof ECMA48Terminal) {
 162             ecmaTerminal = (ECMA48Terminal) getScreen();
 163         }
 164
 165         addLabel(i18n.getString("fontName"), 1, 1, "ttext", false);
 166         addLabel(i18n.getString("fontSize"), 1, 2, "ttext", false);
 167         addLabel(i18n.getString("textAdjustX"), 1, 4, "ttext", false);
 168         addLabel(i18n.getString("textAdjustY"), 1, 5, "ttext", false);
 169         addLabel(i18n.getString("textAdjustHeight"), 1, 6, "ttext", false);
 170         addLabel(i18n.getString("textAdjustWidth"), 1, 7, "ttext", false);
 171         addLabel(i18n.getString("sixelPaletteSize"), 1, 9, "ttext", false);
 172
 173         int col = 21;
 174         if (terminal == null) {
 175             // Non-Swing case: we can't change anything
 176             addLabel(i18n.getString("unavailable"), col, 1);
 177             addLabel(i18n.getString("unavailable"), col, 2);
 178             addLabel(i18n.getString("unavailable"), col, 4);
 179             addLabel(i18n.getString("unavailable"), col, 5);
 180             addLabel(i18n.getString("unavailable"), col, 6);
 181             addLabel(i18n.getString("unavailable"), col, 7);
 182         }
 183         if (ecmaTerminal == null) {
 184             addLabel(i18n.getString("unavailable"), col, 9);
 185         }
 186         if (ecmaTerminal != null) {
 187             oldSixelPaletteSize = ecmaTerminal.getSixelPaletteSize();
 188
 189             String [] sixelSizes = { "2", "256", "512", "1024", "2048" };
 190             List<String> sizes = new ArrayList<String>();
 191             sizes.addAll(Arrays.asList(sixelSizes));
 192             sixelPaletteSize = addComboBox(col, 9, 10, sizes, 0, 6,
 193                 new TAction() {
 194                     public void DO() {
 195                         try {
 196                             ecmaTerminal.setSixelPaletteSize(Integer.parseInt(
 197                                 sixelPaletteSize.getText()));
 198                         } catch (NumberFormatException e) {
 199                             // SQUASH
 200                         }
 201                     }
 202                 }
 203             );
 204             sixelPaletteSize.setText(Integer.toString(oldSixelPaletteSize));
 205         }
 206
 207         if (terminal != null) {
 208             oldFont = terminal.getFont();
 209             oldFontSize = terminal.getFontSize();
 210             oldTextAdjustX = terminal.getTextAdjustX();
 211             oldTextAdjustY = terminal.getTextAdjustY();
 212             oldTextAdjustHeight = terminal.getTextAdjustHeight();
 213             oldTextAdjustWidth = terminal.getTextAdjustWidth();
 214
 215             String [] fontNames = GraphicsEnvironment.
 216                 getLocalGraphicsEnvironment().getAvailableFontFamilyNames();
 217             List<String> fonts = new ArrayList<String>();
 218             fonts.add(0, i18n.getString("builtInTerminus"));
 219             fonts.addAll(Arrays.asList(fontNames));
 220             fontName = addComboBox(col, 1, 25, fonts, 0, 10,
 221                 new TAction() {
 222                     public void DO() {
 223                         if (fontName.getText().equals(i18n.
 224                                 getString("builtInTerminus"))) {
 225
 226                             terminal.setDefaultFont();
 227                         } else {
 228                             terminal.setFont(new Font(fontName.getText(),
 229                                     Font.PLAIN, terminal.getFontSize()));
 230                             fontSize.setText(Integer.toString(
 231                                 terminal.getFontSize()));
 232                             textAdjustX.setText(Integer.toString(
 233                                 terminal.getTextAdjustX()));
 234                             textAdjustY.setText(Integer.toString(
 235                                 terminal.getTextAdjustY()));
 236                             textAdjustHeight.setText(Integer.toString(
 237                                 terminal.getTextAdjustHeight()));
 238                             textAdjustWidth.setText(Integer.toString(
 239                                 terminal.getTextAdjustWidth()));
 240                         }
 241                     }
 242                 }
 243             );
 244
 245             // Font size
 246             fontSize = addField(col, 2, 3, true,
 247                 Integer.toString(terminal.getFontSize()),
 248                 new TAction() {
 249                     public void DO() {
 250                         int currentSize = terminal.getFontSize();
 251                         int newSize = currentSize;
 252                         try {
 253                             newSize = Integer.parseInt(fontSize.getText());
 254                         } catch (NumberFormatException e) {
 255                             fontSize.setText(Integer.toString(currentSize));
 256                         }
 257                         if (newSize != currentSize) {
 258                             terminal.setFontSize(newSize);
 259                             textAdjustX.setText(Integer.toString(
 260                                 terminal.getTextAdjustX()));
 261                             textAdjustY.setText(Integer.toString(
 262                                 terminal.getTextAdjustY()));
 263                             textAdjustHeight.setText(Integer.toString(
 264                                 terminal.getTextAdjustHeight()));
 265                             textAdjustWidth.setText(Integer.toString(
 266                                 terminal.getTextAdjustWidth()));
 267                         }
 268                     }
 269                 },
 270                 null);
 271
 272             addSpinner(col + 3, 2,
 273                 new TAction() {
 274                     public void DO() {
 275                         int currentSize = terminal.getFontSize();
 276                         int newSize = currentSize;
 277                         try {
 278                             newSize = Integer.parseInt(fontSize.getText());
 279                             newSize++;
 280                         } catch (NumberFormatException e) {
 281                             fontSize.setText(Integer.toString(currentSize));
 282                         }
 283                         fontSize.setText(Integer.toString(newSize));
 284                         if (newSize != currentSize) {
 285                             terminal.setFontSize(newSize);
 286                             textAdjustX.setText(Integer.toString(
 287                                 terminal.getTextAdjustX()));
 288                             textAdjustY.setText(Integer.toString(
 289                                 terminal.getTextAdjustY()));
 290                             textAdjustHeight.setText(Integer.toString(
 291                                 terminal.getTextAdjustHeight()));
 292                             textAdjustWidth.setText(Integer.toString(
 293                                 terminal.getTextAdjustWidth()));
 294                         }
 295                     }
 296                 },
 297                 new TAction() {
 298                     public void DO() {
 299                         int currentSize = terminal.getFontSize();
 300                         int newSize = currentSize;
 301                         try {
 302                             newSize = Integer.parseInt(fontSize.getText());
 303                             newSize--;
 304                         } catch (NumberFormatException e) {
 305                             fontSize.setText(Integer.toString(currentSize));
 306                         }
 307                         fontSize.setText(Integer.toString(newSize));
 308                         if (newSize != currentSize) {
 309                             terminal.setFontSize(newSize);
 310                             textAdjustX.setText(Integer.toString(
 311                                 terminal.getTextAdjustX()));
 312                             textAdjustY.setText(Integer.toString(
 313                                 terminal.getTextAdjustY()));
 314                             textAdjustHeight.setText(Integer.toString(
 315                                 terminal.getTextAdjustHeight()));
 316                             textAdjustWidth.setText(Integer.toString(
 317                                 terminal.getTextAdjustWidth()));
 318                         }
 319                     }
 320                 }
 321             );
 322
 323             // textAdjustX
 324             textAdjustX = addField(col, 4, 3, true,
 325                 Integer.toString(terminal.getTextAdjustX()),
 326                 new TAction() {
 327                     public void DO() {
 328                         int currentAdjust = terminal.getTextAdjustX();
 329                         int newAdjust = currentAdjust;
 330                         try {
 331                             newAdjust = Integer.parseInt(textAdjustX.getText());
 332                         } catch (NumberFormatException e) {
 333                             textAdjustX.setText(Integer.toString(currentAdjust));
 334                         }
 335                         if (newAdjust != currentAdjust) {
 336                             terminal.setTextAdjustX(newAdjust);
 337                         }
 338                     }
 339                 },
 340                 null);
 341
 342             addSpinner(col + 3, 4,
 343                 new TAction() {
 344                     public void DO() {
 345                         int currentAdjust = terminal.getTextAdjustX();
 346                         int newAdjust = currentAdjust;
 347                         try {
 348                             newAdjust = Integer.parseInt(textAdjustX.getText());
 349                             newAdjust++;
 350                         } catch (NumberFormatException e) {
 351                             textAdjustX.setText(Integer.toString(currentAdjust));
 352                         }
 353                         textAdjustX.setText(Integer.toString(newAdjust));
 354                         if (newAdjust != currentAdjust) {
 355                             terminal.setTextAdjustX(newAdjust);
 356                         }
 357                     }
 358                 },
 359                 new TAction() {
 360                     public void DO() {
 361                         int currentAdjust = terminal.getTextAdjustX();
 362                         int newAdjust = currentAdjust;
 363                         try {
 364                             newAdjust = Integer.parseInt(textAdjustX.getText());
 365                             newAdjust--;
 366                         } catch (NumberFormatException e) {
 367                             textAdjustX.setText(Integer.toString(currentAdjust));
 368                         }
 369                         textAdjustX.setText(Integer.toString(newAdjust));
 370                         if (newAdjust != currentAdjust) {
 371                             terminal.setTextAdjustX(newAdjust);
 372                         }
 373                     }
 374                 }
 375             );
 376
 377             // textAdjustY
 378             textAdjustY = addField(col, 5, 3, true,
 379                 Integer.toString(terminal.getTextAdjustY()),
 380                 new TAction() {
 381                     public void DO() {
 382                         int currentAdjust = terminal.getTextAdjustY();
 383                         int newAdjust = currentAdjust;
 384                         try {
 385                             newAdjust = Integer.parseInt(textAdjustY.getText());
 386                         } catch (NumberFormatException e) {
 387                             textAdjustY.setText(Integer.toString(currentAdjust));
 388                         }
 389                         if (newAdjust != currentAdjust) {
 390                             terminal.setTextAdjustY(newAdjust);
 391                         }
 392                     }
 393                 },
 394                 null);
 395
 396             addSpinner(col + 3, 5,
 397                 new TAction() {
 398                     public void DO() {
 399                         int currentAdjust = terminal.getTextAdjustY();
 400                         int newAdjust = currentAdjust;
 401                         try {
 402                             newAdjust = Integer.parseInt(textAdjustY.getText());
 403                             newAdjust++;
 404                         } catch (NumberFormatException e) {
 405                             textAdjustY.setText(Integer.toString(currentAdjust));
 406                         }
 407                         textAdjustY.setText(Integer.toString(newAdjust));
 408                         if (newAdjust != currentAdjust) {
 409                             terminal.setTextAdjustY(newAdjust);
 410                         }
 411                     }
 412                 },
 413                 new TAction() {
 414                     public void DO() {
 415                         int currentAdjust = terminal.getTextAdjustY();
 416                         int newAdjust = currentAdjust;
 417                         try {
 418                             newAdjust = Integer.parseInt(textAdjustY.getText());
 419                             newAdjust--;
 420                         } catch (NumberFormatException e) {
 421                             textAdjustY.setText(Integer.toString(currentAdjust));
 422                         }
 423                         textAdjustY.setText(Integer.toString(newAdjust));
 424                         if (newAdjust != currentAdjust) {
 425                             terminal.setTextAdjustY(newAdjust);
 426                         }
 427                     }
 428                 }
 429             );
 430
 431             // textAdjustHeight
 432             textAdjustHeight = addField(col, 6, 3, true,
 433                 Integer.toString(terminal.getTextAdjustHeight()),
 434                 new TAction() {
 435                     public void DO() {
 436                         int currentAdjust = terminal.getTextAdjustHeight();
 437                         int newAdjust = currentAdjust;
 438                         try {
 439                             newAdjust = Integer.parseInt(textAdjustHeight.getText());
 440                         } catch (NumberFormatException e) {
 441                             textAdjustHeight.setText(Integer.toString(currentAdjust));
 442                         }
 443                         if (newAdjust != currentAdjust) {
 444                             terminal.setTextAdjustHeight(newAdjust);
 445                         }
 446                     }
 447                 },
 448                 null);
 449
 450             addSpinner(col + 3, 6,
 451                 new TAction() {
 452                     public void DO() {
 453                         int currentAdjust = terminal.getTextAdjustHeight();
 454                         int newAdjust = currentAdjust;
 455                         try {
 456                             newAdjust = Integer.parseInt(textAdjustHeight.getText());
 457                             newAdjust++;
 458                         } catch (NumberFormatException e) {
 459                             textAdjustHeight.setText(Integer.toString(currentAdjust));
 460                         }
 461                         textAdjustHeight.setText(Integer.toString(newAdjust));
 462                         if (newAdjust != currentAdjust) {
 463                             terminal.setTextAdjustHeight(newAdjust);
 464                         }
 465                     }
 466                 },
 467                 new TAction() {
 468                     public void DO() {
 469                         int currentAdjust = terminal.getTextAdjustHeight();
 470                         int newAdjust = currentAdjust;
 471                         try {
 472                             newAdjust = Integer.parseInt(textAdjustHeight.getText());
 473                             newAdjust--;
 474                         } catch (NumberFormatException e) {
 475                             textAdjustHeight.setText(Integer.toString(currentAdjust));
 476                         }
 477                         textAdjustHeight.setText(Integer.toString(newAdjust));
 478                         if (newAdjust != currentAdjust) {
 479                             terminal.setTextAdjustHeight(newAdjust);
 480                         }
 481                     }
 482                 }
 483             );
 484
 485             // textAdjustWidth
 486             textAdjustWidth = addField(col, 7, 3, true,
 487                 Integer.toString(terminal.getTextAdjustWidth()),
 488                 new TAction() {
 489                     public void DO() {
 490                         int currentAdjust = terminal.getTextAdjustWidth();
 491                         int newAdjust = currentAdjust;
 492                         try {
 493                             newAdjust = Integer.parseInt(textAdjustWidth.getText());
 494                         } catch (NumberFormatException e) {
 495                             textAdjustWidth.setText(Integer.toString(currentAdjust));
 496                         }
 497                         if (newAdjust != currentAdjust) {
 498                             terminal.setTextAdjustWidth(newAdjust);
 499                         }
 500                     }
 501                 },
 502                 null);
 503
 504             addSpinner(col + 3, 7,
 505                 new TAction() {
 506                     public void DO() {
 507                         int currentAdjust = terminal.getTextAdjustWidth();
 508                         int newAdjust = currentAdjust;
 509                         try {
 510                             newAdjust = Integer.parseInt(textAdjustWidth.getText());
 511                             newAdjust++;
 512                         } catch (NumberFormatException e) {
 513                             textAdjustWidth.setText(Integer.toString(currentAdjust));
 514                         }
 515                         textAdjustWidth.setText(Integer.toString(newAdjust));
 516                         if (newAdjust != currentAdjust) {
 517                             terminal.setTextAdjustWidth(newAdjust);
 518                         }
 519                     }
 520                 },
 521                 new TAction() {
 522                     public void DO() {
 523                         int currentAdjust = terminal.getTextAdjustWidth();
 524                         int newAdjust = currentAdjust;
 525                         try {
 526                             newAdjust = Integer.parseInt(textAdjustWidth.getText());
 527                             newAdjust--;
 528                         } catch (NumberFormatException e) {
 529                             textAdjustWidth.setText(Integer.toString(currentAdjust));
 530                         }
 531                         textAdjustWidth.setText(Integer.toString(newAdjust));
 532                         if (newAdjust != currentAdjust) {
 533                             terminal.setTextAdjustWidth(newAdjust);
 534                         }
 535                     }
 536                 }
 537             );
 538
 539         }
 540
 541         addButton(i18n.getString("okButton"), 18, getHeight() - 4,
 542             new TAction() {
 543                 public void DO() {
 544                     // Close window.
 545                     TFontChooserWindow.this.close();
 546                 }
 547             });
 548
 549         TButton cancelButton = addButton(i18n.getString("cancelButton"),
 550             30, getHeight() - 4,
 551             new TAction() {
 552                 public void DO() {
 553                     // Restore old values, then close the window.
 554                     if (terminal != null) {
 555                         terminal.setFont(oldFont);
 556                         terminal.setFontSize(oldFontSize);
 557                         terminal.setTextAdjustX(oldTextAdjustX);
 558                         terminal.setTextAdjustY(oldTextAdjustY);
 559                         terminal.setTextAdjustHeight(oldTextAdjustHeight);
 560                         terminal.setTextAdjustWidth(oldTextAdjustWidth);
 561                     }
 562                     if (ecmaTerminal != null) {
 563                         ecmaTerminal.setSixelPaletteSize(oldSixelPaletteSize);
 564                     }
 565                     TFontChooserWindow.this.close();
 566                 }
 567             });
 568
 569         // Save this for last: make the cancel button default action.
 570         activate(cancelButton);
 571
 572     }
 573
 574     // ------------------------------------------------------------------------
 575     // Event handlers ---------------------------------------------------------
 576     // ------------------------------------------------------------------------
 577
 578     /**
 579      * Handle keystrokes.
 580      *
 581      * @param keypress keystroke event
 582      */
 583     @Override
 584     public void onKeypress(final TKeypressEvent keypress) {
 585         // Escape - behave like cancel
 586         if (keypress.equals(kbEsc)) {
 587             // Restore old values, then close the window.
 588             if (terminal != null) {
 589                 terminal.setFont(oldFont);
 590                 terminal.setFontSize(oldFontSize);
 591             }
 592             if (ecmaTerminal != null) {
 593                 ecmaTerminal.setSixelPaletteSize(oldSixelPaletteSize);
 594             }
 595             getApplication().closeWindow(this);
 596             return;
 597         }
 598
 599         // Pass to my parent
 600         super.onKeypress(keypress);
 601     }
 602
 603     // ------------------------------------------------------------------------
 604     // TWindow ----------------------------------------------------------------
 605     // ------------------------------------------------------------------------
 606
 607     /**
 608      * Draw me on screen.
 609      */
 610     @Override
 611     public void draw() {
 612         super.draw();
 613
 614         int left = 34;
 615         CellAttributes color = getTheme().getColor("ttext");
 616         drawBox(left, 6, left + 24, 14, color, color, 3, false);
 617         putStringXY(left + 2, 6, i18n.getString("sample"), color);
 618         for (int i = 7; i < 13; i++) {
 619             hLineXY(left + 1, i, 22, GraphicsChars.HATCH, color);
 620         }
 621
 622     }
 623
 624     // ------------------------------------------------------------------------
 625     // TFontChooserWindow -----------------------------------------------------
 626     // ------------------------------------------------------------------------
 627
 628 }