Beispiel #1
0
 public static void setInitialNumRows(SnapBackupFrame frame) {
   // System.out.println("\nH1: " + frame.getHeight());
   frame
       .getSrcZipList()
       .setVisibleRowCount(Integer.parseInt(UserPreferences.readPref(Options.prefNumRowsSrc)));
   frame
       .getLogTextArea()
       .setRows(Integer.parseInt(UserPreferences.readPref(Options.prefNumRowsLog)));
   // System.out.println("H2: " + frame.getHeight());
   // System.out.println("H3: " + frame.getHeight());
   frame.pack();
   // frame.repaint();
 }
Beispiel #2
0
 public static void bumpUpFontSize(Component widget, int bumps) {
   if (!UserPreferences.readLocalePref()
       .equals("ko")) { // HACK!!!  refector with variable localeSupportsBold
     Font f = widget.getFont();
     widget.setFont(new Font(f.getFamily(), f.getStyle(), f.getSize() + bumps));
   }
 }
Beispiel #3
0
 public static void makeEmphasized(Component widget) {
   // Set to bold amd add color
   Font font = widget.getFont();
   if (!UserPreferences.readLocalePref()
       .equals("ko")) // HACK!!!  refector with variable localeSupportsBold
   widget.setFont(new Font(font.getFamily(), Font.BOLD, font.getSize()));
   widget.setForeground(UIProperties.emphasisColor);
 }
Beispiel #4
0
 public static void makeBold(Component widget) {
   if (!UserPreferences.readLocalePref()
       .equals("ko")) // HACK!!!  refector with variable localeSupportsBold
   widget.setFont(new Font(widget.getFont().getFamily(), Font.BOLD, widget.getFont().getSize()));
 }