[sword-cvs] modedit/src/org/crosswire/modedit MainFrame.java,1.11,1.12
sword@www.crosswire.org
sword@www.crosswire.org
Wed, 15 Jan 2003 15:19:55 -0700
Update of /usr/local/cvsroot/modedit/src/org/crosswire/modedit
In directory www:/tmp/cvs-serv28946/modedit
Modified Files:
MainFrame.java
Log Message:
no message
Index: MainFrame.java
===================================================================
RCS file: /usr/local/cvsroot/modedit/src/org/crosswire/modedit/MainFrame.java,v
retrieving revision 1.11
retrieving revision 1.12
diff -C2 -d -r1.11 -r1.12
*** MainFrame.java 30 Nov 2002 04:50:26 -0000 1.11
--- MainFrame.java 15 Jan 2003 22:19:53 -0000 1.12
***************
*** 26,29 ****
--- 26,30 ----
public class MainFrame extends JFrame {
JPanel contentPane;
+ Font newFont = null;
BorderLayout contentPaneLayout = new BorderLayout();
JPanel rightPanel = new JPanel();
***************
*** 148,151 ****
--- 149,153 ----
//setIconImage(Toolkit.getDefaultToolkit().createImage(MainFrame.class.getResource("[Your Icon]")));
contentPane = (JPanel) this.getContentPane();
+ loadFont();
HTMLEditorKit htmlKit = new HTMLEditorKit();
***************
*** 179,183 ****
greekTextEditorBorder = new TitledBorder("");
strongTextEditorBorder = new TitledBorder("");
! translatedTextEditor.setFont(new java.awt.Font("Monospaced", 0, 14));
translatedTextEditor.setBorder(translatedTextEditorBorder);
translatedTextEditor.addKeyListener(new MainFrame_translatedTextEditor_keyAdapter(this));
--- 181,186 ----
greekTextEditorBorder = new TitledBorder("");
strongTextEditorBorder = new TitledBorder("");
! // translatedTextEditor.setFont(new java.awt.Font("Monospaced", 0, 14));
! translatedTextEditor.setFont(newFont);
translatedTextEditor.setBorder(translatedTextEditorBorder);
translatedTextEditor.addKeyListener(new MainFrame_translatedTextEditor_keyAdapter(this));
***************
*** 219,222 ****
--- 222,226 ----
strongTextEditor.setBackground(Color.lightGray);
strongTextEditor.setBorder(strongTextEditorBorder);
+ strongTextEditor.setFont(newFont);
rightPanel.setBorder(BorderFactory.createEtchedBorder());
loginPanel.setBorder(loginPanelBorder);
***************
*** 359,363 ****
try {
FileOutputStream fos = new FileOutputStream("entry.txt");
! fos.write(entry.getBytes());
fos.close();
callLocalAgent(new String[] {util, "f", "KJV2003", currentKey, "entry.txt"}, result, false);
--- 363,367 ----
try {
FileOutputStream fos = new FileOutputStream("entry.txt");
! fos.write(entry.getBytes("UTF-8"));
fos.close();
callLocalAgent(new String[] {util, "f", "KJV2003", currentKey, "entry.txt"}, result, false);
***************
*** 378,381 ****
--- 382,396 ----
}
+ private void loadFont() {
+ try {
+ URLConnection connection = new URL("file:font.ttf").openConnection();
+ InputStream is = connection.getInputStream();
+ Font font = Font.createFont(Font.TRUETYPE_FONT, is);
+ newFont = font.deriveFont((float)18.0);
+ is.close();
+ }
+ catch (Exception ex) { ex.printStackTrace(); }
+
+ }
void loadPreferences() {
***************
*** 407,410 ****
--- 422,426 ----
if (!localKJV)
exportRangeButton.setVisible(false);
+
}
***************
*** 691,694 ****
--- 707,719 ----
StringBuffer html = writer.getBuffer();
replaceString(html, "’", "'");
+
+ int escPos = html.toString().indexOf("&#");
+ while (escPos > -1) {
+ int endPos = html.toString().indexOf(';', escPos+"&#".length()+1);
+ String val = html.substring(escPos+2, endPos);
+ html.delete(escPos, endPos+1);
+ html.insert(escPos, (char)Integer.parseInt(val));
+ escPos = html.toString().indexOf("&#");
+ }
// remove silly new lines added by editor kit