Jskad/source/org/thdl/tib/input/PreferenceWindow.java

120 lines
3.8 KiB
Java
Raw Normal View History

/*
The contents of this file are subject to the THDL Open Community License
Version 1.0 (the "License"); you may not use this file except in compliance
with the License. You may obtain a copy of the License on the THDL web site
(http://www.thdl.org/).
Software distributed under the License is distributed on an "AS IS" basis,
WITHOUT WARRANTY OF ANY KIND, either express or implied. See the
License for the specific terms governing rights and limitations under the
License.
The Initial Developer of this software is the Tibetan and Himalayan Digital
Library (THDL). Portions created by the THDL are Copyright 2001-2003 THDL.
All Rights Reserved.
Contributor(s): ______________________________________.
*/
package org.thdl.tib.input;
import javax.swing.*;
import java.awt.*;
/** Shows a standard dialog window to set the preferences
for the tibetan and roman script used
*/
public class PreferenceWindow
{
private JDialog dialog;
private JComboBox tibetanFontSizes;
private JComboBox romanFontSizes;
private JComboBox romanFontFamilies;
private DuffPane dp;
public PreferenceWindow(Component parent, DuffPane dp)
{
this.dp = dp;
GraphicsEnvironment genv = GraphicsEnvironment.getLocalGraphicsEnvironment();
String[] fontNames = genv.getAvailableFontFamilyNames();
JPanel tibetanPanel;
tibetanPanel = new JPanel();
tibetanPanel.setBorder(BorderFactory.createTitledBorder("Set Tibetan Font Size"));
tibetanFontSizes = new JComboBox(new String[] {"8","10","12","14","16","18","20","22","24","26","28","30","32","34","36","48","72"});
tibetanFontSizes.setMaximumSize(tibetanFontSizes.getPreferredSize());
tibetanFontSizes.setSelectedItem(String.valueOf(dp.getTibetanFontSize()));
tibetanFontSizes.setEditable(true);
tibetanPanel.add(tibetanFontSizes);
JPanel romanPanel;
romanPanel = new JPanel();
romanPanel.setBorder(BorderFactory.createTitledBorder("Set non-Tibetan Font and Size"));
romanFontFamilies = new JComboBox(fontNames);
romanFontFamilies.setMaximumSize(romanFontFamilies.getPreferredSize());
romanFontFamilies.setSelectedItem(dp.getRomanFontFamily());
romanFontFamilies.setEditable(true);
romanFontSizes = new JComboBox(new String[] {"8","10","12","14","16","18","20","22","24","26","28","30","32","34","36","48","72"});
romanFontSizes.setMaximumSize(romanFontSizes.getPreferredSize());
romanFontSizes.setSelectedItem(String.valueOf(dp.getRomanFontSize()));
romanFontSizes.setEditable(true);
romanPanel.setLayout(new GridLayout(1,2));
romanPanel.add(romanFontFamilies);
romanPanel.add(romanFontSizes);
JPanel preferencesPanel = new JPanel();
preferencesPanel.setLayout(new GridLayout(2,1));
preferencesPanel.add(tibetanPanel);
preferencesPanel.add(romanPanel);
JOptionPane pane = new JOptionPane(preferencesPanel);
dialog = pane.createDialog(parent, "Preferences");
}
private static int stringToInt(String s)
{
int num;
try
{
num = Integer.parseInt(s);
}
catch (NumberFormatException ne) {
num = -1;
}
return num;
}
public int getTibetanFontSize()
{
return stringToInt(tibetanFontSizes.getSelectedItem().toString());
}
public int getRomanFontSize()
{
return stringToInt(romanFontSizes.getSelectedItem().toString());
}
public String getRomanFont()
{
return romanFontFamilies.getSelectedItem().toString();
}
/** This returns only when the user has closed the dialog */
public void show()
{
int size;
String font;
dialog.show();
size = getTibetanFontSize();
if (size>0) dp.setByUserTibetanFontSize(size);
size = getRomanFontSize();
if (size==-1) size = dp.getRomanFontSize();
font = getRomanFont();
dp.setByUserRomanAttributeSet(font, size);
}
}