112 |
"DesktopIconUI", "javax.swing.plaf.basic.BasicDesktopIconUI", |
"DesktopIconUI", "javax.swing.plaf.basic.BasicDesktopIconUI", |
113 |
"DesktopPaneUI", "javax.swing.plaf.basic.BasicDesktopPaneUI", |
"DesktopPaneUI", "javax.swing.plaf.basic.BasicDesktopPaneUI", |
114 |
"EditorPaneUI", "javax.swing.plaf.basic.BasicEditorPaneUI", |
"EditorPaneUI", "javax.swing.plaf.basic.BasicEditorPaneUI", |
115 |
|
"FileChooserUI", "javax.swing.plaf.basic.BasicFileChooserUI", |
116 |
"FormattedTextFieldUI", "javax.swing.plaf.basic.BasicFormattedTextFieldUI", |
"FormattedTextFieldUI", "javax.swing.plaf.basic.BasicFormattedTextFieldUI", |
117 |
"InternalFrameUI", "javax.swing.plaf.basic.BasicInternalFrameUI", |
"InternalFrameUI", "javax.swing.plaf.basic.BasicInternalFrameUI", |
118 |
"LabelUI", "javax.swing.plaf.basic.BasicLabelUI", |
"LabelUI", "javax.swing.plaf.basic.BasicLabelUI", |
399 |
"FileChooser.cancelButtonText", "Cancel", |
"FileChooser.cancelButtonText", "Cancel", |
400 |
"FileChooser.cancelButtonToolTipText", "Abort file chooser dialog", |
"FileChooser.cancelButtonToolTipText", "Abort file chooser dialog", |
401 |
// XXX Don't use gif |
// XXX Don't use gif |
402 |
"FileChooser.detailsViewIcon", new IconUIResource(new ImageIcon("icons/DetailsView.gif")), |
// "FileChooser.detailsViewIcon", new IconUIResource(new ImageIcon("icons/DetailsView.gif")), |
403 |
"FileChooser.directoryDescriptionText", "Directory", |
"FileChooser.directoryDescriptionText", "Directory", |
404 |
"FileChooser.fileDescriptionText", "Generic File", |
"FileChooser.fileDescriptionText", "Generic File", |
405 |
"FileChooser.helpButtonMnemonic", new Integer(72), |
"FileChooser.helpButtonMnemonic", new Integer(72), |
406 |
"FileChooser.helpButtonText", "Help", |
"FileChooser.helpButtonText", "Help", |
407 |
"FileChooser.helpButtonToolTipText", "FileChooser help", |
"FileChooser.helpButtonToolTipText", "FileChooser help", |
408 |
// XXX Don't use gif |
// XXX Don't use gif |
409 |
"FileChooser.homeFolderIcon", new IconUIResource(new ImageIcon("icons/HomeFolder.gif")), |
// "FileChooser.homeFolderIcon", new IconUIResource(new ImageIcon("icons/HomeFolder.gif")), |
410 |
// XXX Don't use gif |
// XXX Don't use gif |
411 |
"FileChooser.listViewIcon", new IconUIResource(new ImageIcon("icons/ListView.gif")), |
// "FileChooser.listViewIcon", new IconUIResource(new ImageIcon("icons/ListView.gif")), |
412 |
"FileChooser.newFolderErrorSeparator", ":", |
"FileChooser.newFolderErrorSeparator", ":", |
413 |
"FileChooser.newFolderErrorText", "Error creating new folder", |
"FileChooser.newFolderErrorText", "Error creating new folder", |
414 |
// XXX Don't use gif |
// XXX Don't use gif |
415 |
"FileChooser.newFolderIcon", new IconUIResource(new ImageIcon("icons/NewFolder.gif")), |
// "FileChooser.newFolderIcon", new IconUIResource(new ImageIcon("icons/NewFolder.gif")), |
416 |
"FileChooser.openButtonMnemonic", new Integer(79), |
"FileChooser.openButtonMnemonic", new Integer(79), |
417 |
"FileChooser.openButtonText", "Open", |
"FileChooser.openButtonText", "Open", |
418 |
"FileChooser.openButtonToolTipText", "Open selected file", |
"FileChooser.openButtonToolTipText", "Open selected file", |
420 |
"FileChooser.saveButtonText", "Save", |
"FileChooser.saveButtonText", "Save", |
421 |
"FileChooser.saveButtonToolTipText", "Save selected file", |
"FileChooser.saveButtonToolTipText", "Save selected file", |
422 |
// XXX Don't use gif |
// XXX Don't use gif |
423 |
"FileChooser.upFolderIcon", new IconUIResource(new ImageIcon("icons/UpFolder.gif")), |
// "FileChooser.upFolderIcon", new IconUIResource(new ImageIcon("icons/UpFolder.gif")), |
424 |
"FileChooser.updateButtonMnemonic", new Integer(85), |
"FileChooser.updateButtonMnemonic", new Integer(85), |
425 |
"FileChooser.updateButtonText", "Update", |
"FileChooser.updateButtonText", "Update", |
426 |
"FileChooser.updateButtonToolTipText", "Update directory listing", |
"FileChooser.updateButtonToolTipText", "Update directory listing", |
427 |
// XXX Don't use gif |
// XXX Don't use gif |
428 |
"FileView.computerIcon", new IconUIResource(new ImageIcon("icons/Computer.gif")), |
// "FileView.computerIcon", new IconUIResource(new ImageIcon("icons/Computer.gif")), |
429 |
// XXX Don't use gif |
// XXX Don't use gif |
430 |
"FileView.directoryIcon", new IconUIResource(new ImageIcon("icons/Directory.gif")), |
// "FileView.directoryIcon", new IconUIResource(new ImageIcon("icons/Directory.gif")), |
431 |
// XXX Don't use gif |
// XXX Don't use gif |
432 |
"FileView.fileIcon", new IconUIResource(new ImageIcon("icons/File.gif")), |
// "FileView.fileIcon", new IconUIResource(new ImageIcon("icons/File.gif")), |
433 |
// XXX Don't use gif |
// XXX Don't use gif |
434 |
"FileView.floppyDriveIcon", new IconUIResource(new ImageIcon("icons/Floppy.gif")), |
// "FileView.floppyDriveIcon", new IconUIResource(new ImageIcon("icons/Floppy.gif")), |
435 |
// XXX Don't use gif |
// XXX Don't use gif |
436 |
"FileView.hardDriveIcon", new IconUIResource(new ImageIcon("icons/HardDrive.gif")), |
// "FileView.hardDriveIcon", new IconUIResource(new ImageIcon("icons/HardDrive.gif")), |
437 |
"FocusManagerClassName", "TODO", |
"FocusManagerClassName", "TODO", |
438 |
"FormattedTextField.background", new ColorUIResource(light), |
"FormattedTextField.background", new ColorUIResource(light), |
439 |
"FormattedTextField.caretForeground", new ColorUIResource(Color.black), |
"FormattedTextField.caretForeground", new ColorUIResource(Color.black), |
457 |
"InternalFrame.borderShadow", new ColorUIResource(shadow), |
"InternalFrame.borderShadow", new ColorUIResource(shadow), |
458 |
"InternalFrame.closeIcon", BasicIconFactory.createEmptyFrameIcon(), |
"InternalFrame.closeIcon", BasicIconFactory.createEmptyFrameIcon(), |
459 |
// XXX Don't use gif |
// XXX Don't use gif |
460 |
"InternalFrame.icon", new IconUIResource(new ImageIcon("icons/JavaCup.gif")), |
// "InternalFrame.icon", new IconUIResource(new ImageIcon("icons/JavaCup.gif")), |
461 |
"InternalFrame.iconifyIcon", BasicIconFactory.createEmptyFrameIcon(), |
"InternalFrame.iconifyIcon", BasicIconFactory.createEmptyFrameIcon(), |
462 |
"InternalFrame.inactiveTitleBackground", new ColorUIResource(Color.gray), |
"InternalFrame.inactiveTitleBackground", new ColorUIResource(Color.gray), |
463 |
"InternalFrame.inactiveTitleForeground", |
"InternalFrame.inactiveTitleForeground", |
558 |
new BorderUIResource.EmptyBorderUIResource(0, 0, 0, 0), |
new BorderUIResource.EmptyBorderUIResource(0, 0, 0, 0), |
559 |
"OptionPane.cancelButtonText", "Cancel", |
"OptionPane.cancelButtonText", "Cancel", |
560 |
// XXX Don't use gif |
// XXX Don't use gif |
561 |
"OptionPane.errorIcon", |
// "OptionPane.errorIcon", |
562 |
new IconUIResource(new ImageIcon("icons/Error.gif")), |
// new IconUIResource(new ImageIcon("icons/Error.gif")), |
563 |
"OptionPane.font", new FontUIResource("Dialog", Font.PLAIN, 12), |
"OptionPane.font", new FontUIResource("Dialog", Font.PLAIN, 12), |
564 |
"OptionPane.foreground", new ColorUIResource(darkShadow), |
"OptionPane.foreground", new ColorUIResource(darkShadow), |
565 |
// XXX Don't use gif |
// XXX Don't use gif |
566 |
"OptionPane.informationIcon", |
// "OptionPane.informationIcon", |
567 |
new IconUIResource(new ImageIcon("icons/Inform.gif")), |
// new IconUIResource(new ImageIcon("icons/Inform.gif")), |
568 |
"OptionPane.messageAreaBorder", |
"OptionPane.messageAreaBorder", |
569 |
new BorderUIResource.EmptyBorderUIResource(0, 0, 0, 0), |
new BorderUIResource.EmptyBorderUIResource(0, 0, 0, 0), |
570 |
"OptionPane.messageForeground", new ColorUIResource(darkShadow), |
"OptionPane.messageForeground", new ColorUIResource(darkShadow), |
572 |
"OptionPane.noButtonText", "No", |
"OptionPane.noButtonText", "No", |
573 |
"OptionPane.okButtonText", "OK", |
"OptionPane.okButtonText", "OK", |
574 |
// XXX Don't use gif |
// XXX Don't use gif |
575 |
"OptionPane.questionIcon", |
// "OptionPane.questionIcon", |
576 |
new IconUIResource(new ImageIcon("icons/Question.gif")), |
// new IconUIResource(new ImageIcon("icons/Question.gif")), |
577 |
// XXX Don't use gif |
// XXX Don't use gif |
578 |
"OptionPane.warningIcon", |
// "OptionPane.warningIcon", |
579 |
new IconUIResource(new ImageIcon("icons/Warn.gif")), |
// new IconUIResource(new ImageIcon("icons/Warn.gif")), |
580 |
"OptionPane.windowBindings", new Object[] { |
"OptionPane.windowBindings", new Object[] { |
581 |
"ESCAPE", "close" |
"ESCAPE", "close" |
582 |
}, |
}, |
837 |
"TableHeader.cellBorder", new BorderUIResource.BevelBorderUIResource(0), |
"TableHeader.cellBorder", new BorderUIResource.BevelBorderUIResource(0), |
838 |
"TableHeader.font", new FontUIResource("Dialog", Font.PLAIN, 12), |
"TableHeader.font", new FontUIResource("Dialog", Font.PLAIN, 12), |
839 |
"TableHeader.foreground", new ColorUIResource(darkShadow), |
"TableHeader.foreground", new ColorUIResource(darkShadow), |
840 |
"TextArea.background", new ColorUIResource(light), |
|
841 |
|
"TextArea.background", new ColorUIResource(light), |
842 |
"TextArea.border", new BasicBorders.MarginBorder(), |
"TextArea.border", new BasicBorders.MarginBorder(), |
843 |
"TextArea.caretBlinkRate", new Integer(500), |
"TextArea.caretBlinkRate", new Integer(500), |
844 |
"TextArea.caretForeground", new ColorUIResource(Color.black), |
"TextArea.caretForeground", new ColorUIResource(Color.black), |
911 |
}, |
}, |
912 |
"TextPane.margin", new InsetsUIResource(3, 3, 3, 3), |
"TextPane.margin", new InsetsUIResource(3, 3, 3, 3), |
913 |
"TextPane.selectionBackground", new ColorUIResource(Color.black), |
"TextPane.selectionBackground", new ColorUIResource(Color.black), |
914 |
"TextPane.selectionForeground", new ColorUIResource(Color.white), |
"TextPane.selectionForeground", new ColorUIResource(Color.white)/*, |
915 |
"TitledBorder.border", new BorderUIResource.EtchedBorderUIResource(), |
"TitledBorder.border", new BorderUIResource.EtchedBorderUIResource(), |
916 |
"TitledBorder.font", new FontUIResource("Dialog", Font.PLAIN, 12), |
"TitledBorder.font", new FontUIResource("Dialog", Font.PLAIN, 12), |
917 |
"TitledBorder.titleColor", new ColorUIResource(darkShadow), |
"TitledBorder.titleColor", new ColorUIResource(darkShadow), |
963 |
}), |
}), |
964 |
"Tree.background", new ColorUIResource(light), |
"Tree.background", new ColorUIResource(light), |
965 |
"Tree.changeSelectionWithFocus", Boolean.TRUE, |
"Tree.changeSelectionWithFocus", Boolean.TRUE, |
966 |
"Tree.closedIcon", new IconUIResource(new ImageIcon("icons/TreeClosed.png")), |
// "Tree.closedIcon", new IconUIResource(new ImageIcon("icons/TreeClosed.png")), |
967 |
"Tree.collapsedIcon", new IconUIResource(new ImageIcon("icons/TreeCollapsed.png")), |
// "Tree.collapsedIcon", new IconUIResource(new ImageIcon("icons/TreeCollapsed.png")), |
968 |
"Tree.drawsFocusBorderAroundIcon", Boolean.FALSE, |
"Tree.drawsFocusBorderAroundIcon", Boolean.FALSE, |
969 |
"Tree.editorBorder", new BorderUIResource.LineBorderUIResource(Color.lightGray), |
"Tree.editorBorder", new BorderUIResource.LineBorderUIResource(Color.lightGray), |
970 |
"Tree.focusInputMap", new UIDefaults.LazyInputMap(new Object[] { |
"Tree.focusInputMap", new UIDefaults.LazyInputMap(new Object[] { |
1012 |
"ctrl PAGE_DOWN", "scrollDownChangeLead" |
"ctrl PAGE_DOWN", "scrollDownChangeLead" |
1013 |
}), |
}), |
1014 |
"Tree.font", new FontUIResource("Dialog", Font.PLAIN, 12), |
"Tree.font", new FontUIResource("Dialog", Font.PLAIN, 12), |
1015 |
"Tree.expandedIcon", new IconUIResource(new ImageIcon("icons/TreeExpanded.png")), |
// "Tree.expandedIcon", new IconUIResource(new ImageIcon("icons/TreeExpanded.png")), |
1016 |
"Tree.foreground", new ColorUIResource(Color.black), |
"Tree.foreground", new ColorUIResource(Color.black), |
1017 |
"Tree.hash", new ColorUIResource(Color.gray), |
"Tree.hash", new ColorUIResource(Color.gray), |
1018 |
"Tree.leafIcon", new IconUIResource(new ImageIcon("icons/TreeLeaf.png")), |
// "Tree.leafIcon", new IconUIResource(new ImageIcon("icons/TreeLeaf.png")), |
1019 |
"Tree.leftChildIndent", new Integer(7), |
"Tree.leftChildIndent", new Integer(7), |
1020 |
"Tree.openIcon", new IconUIResource(new ImageIcon("icons/TreeOpen.png")), |
// "Tree.openIcon", new IconUIResource(new ImageIcon("icons/TreeOpen.png")), |
1021 |
"Tree.rightChildIndent", new Integer(13), |
"Tree.rightChildIndent", new Integer(13), |
1022 |
"Tree.rowHeight", new Integer(16), |
"Tree.rowHeight", new Integer(16), |
1023 |
"Tree.scrollsOnExpand", Boolean.TRUE, |
"Tree.scrollsOnExpand", Boolean.TRUE, |
1028 |
"Tree.textForeground", new ColorUIResource(Color.black), |
"Tree.textForeground", new ColorUIResource(Color.black), |
1029 |
"Viewport.background", new ColorUIResource(light), |
"Viewport.background", new ColorUIResource(light), |
1030 |
"Viewport.foreground", new ColorUIResource(Color.black), |
"Viewport.foreground", new ColorUIResource(Color.black), |
1031 |
"Viewport.font", new FontUIResource("Dialog", Font.PLAIN, 12) |
"Viewport.font", new FontUIResource("Dialog", Font.PLAIN, 12)*/ |
1032 |
}; |
}; |
1033 |
defaults.putDefaults(uiDefaults); |
defaults.putDefaults(uiDefaults); |
1034 |
} |
} |