thdltools/Jskad
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

fixed a terrible bug in DictionarySettings (sorry!).

Browse source
This commit is contained in:
micha3lp 2006-08-19 21:47:03 +00:00
parent eb30452579
commit bd203b5cc3
2 changed files with 8 additions and 10 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
source/org/thdl/tib/input/DuffPane.java
View file

@ -2135,7 +2135,6 @@ public void paste(int offset)
JToolBar toolbar = null ; JToolBar toolbar = null ;
System.out.println ( parent.toString () ) ;
for ( int child = 0; child < parent.getComponentCount (); child++ ) for ( int child = 0; child < parent.getComponentCount (); child++ )
{ {
if ( parent.getComponent ( child ) instanceof JToolBar ) if ( parent.getComponent ( child ) instanceof JToolBar )

17
source/org/thdl/tib/input/GlobalResourceHolder.java
View file

@ -42,8 +42,8 @@ public class GlobalResourceHolder
static class Listener implements Observer static class Listener implements Observer
{ {
public static final int DICTIONARY_SETTINGS = 1 ; public static final int DICTIONARY_SETTINGS = 1 ;
/** /**
* update * update
* *
@ -61,7 +61,6 @@ public class GlobalResourceHolder
{ {
if ( null == GlobalResourceHolder.settingsServiceProvider ) if ( null == GlobalResourceHolder.settingsServiceProvider )
return ; return ;
if ( DICTIONARY_SETTINGS == setting ) if ( DICTIONARY_SETTINGS == setting )
{ {
// //
@ -188,7 +187,7 @@ public class GlobalResourceHolder
System.err.println ( "TibetanScanner.loadDictionaryScanner () --> " + e.toString () ) ; System.err.println ( "TibetanScanner.loadDictionaryScanner () --> " + e.toString () ) ;
dictionaryLoadState = DictionaryLoadState.ERROR ; dictionaryLoadState = DictionaryLoadState.ERROR ;
} }
} }
return ts ; return ts ;
} }
@ -283,11 +282,11 @@ public class GlobalResourceHolder
flagIsUsingLocalFonts = true ; flagIsUsingLocalFonts = true ;
} }
/* /*
* setFontSize * setFontSize
* *
* notifies the GlobalResource about the most probably used font size * notifies the GlobalResource about the most probably used font size
* *
*/ */
protected static void setFontSize ( int fontSize ) protected static void setFontSize ( int fontSize )
{ {