|
|
@12808
|
18 years |
mdewsnip |
Removed CollectionManager.configurationChanged() and all 50 calls to …
|
|
|
@12800
|
18 years |
mdewsnip |
Tidied up CollectionConfiguration more.
|
|
|
@12641
|
18 years |
mdewsnip |
Changed all access to the static strings through …
|
|
|
@12283
|
18 years |
kjdon |
made this more like LanguageManager. A bit more simple.
|
|
|
@12123
|
18 years |
kjdon |
Changed text handling to use Dictionary.get rather than …
|
|
|
@12091
|
18 years |
kjdon |
subcollection index names no longer appear on this panel - done using …
|
|
|
@11905
|
18 years |
mdewsnip |
Changed all JButtons to GLIButtons, so they don't have a horrible blue …
|
|
|
@10237
|
19 years |
mdewsnip |
New code for "incremental" building, by Matthew Whyte.
I've only had …
|
|
|
@10011
|
19 years |
mdewsnip |
Moved Utility.getImage into JarTools, as part of tidying up the …
|
|
|
@9562
|
19 years |
kjdon |
made the move up and down buttons disabled to start with - cos nothing …
|
|
|
@9200
|
19 years |
mdewsnip |
Changed some function names in CheckList to be more obvious (well, to …
|
|
|
@9161
|
19 years |
mdewsnip |
Made the "assign partitions" tab in the "Partition Indexes" section …
|
|
|
@8243
|
20 years |
mdewsnip |
Removed all occurrences of classes explicitly importing other classes …
|
|
|
@8236
|
20 years |
mdewsnip |
Replaced all Gatherer.print* with DebugStream.print*.
|
|
|
@8231
|
20 years |
mdewsnip |
Replaced all "Gatherer.config" with "Configuration".
|
|
|
@8002
|
20 years |
mdewsnip |
Tightened up many public functions to private.
|
|
|
@7996
|
20 years |
mdewsnip |
Removed more references to the msm package, which is being removed.
|
|
|
@7151
|
20 years |
kjdon |
fixed some more static label sizes and deleted a lot of commented out stuff
|
|
|
@6846
|
20 years |
kjdon |
unfixed the size of labels so that other langs fit in
|
|
|
@6770
|
20 years |
kjdon |
fixed all the javadoc errors. (hope I didn't commit anything I wasn't …
|
|
|
@6389
|
20 years |
jmt12 |
Introduced the idea of detail modes - these have an effect on several …
|
|
|
@6318
|
20 years |
jmt12 |
Changed JButtons for GLIButtons, which know whether they should paint …
|
|
|
@5903
|
20 years |
jmt12 |
Removing a partition which just happens to be the default one also now …
|
|
|
@5785
|
21 years |
mdewsnip |
Commented out about 60 unused functions.
|
|
|
@5590
|
21 years |
mdewsnip |
Could it be I've finished adding tooltips?? Why yes, very nearly... …
|
|
|
@5342
|
21 years |
mdewsnip |
Changed dictionary get()s to have the whole key.
|
|
|
@5236
|
21 years |
jmt12 |
Buttons are now enabled/disabled appropriately. Note that you now …
|
|
|
@5212
|
21 years |
jmt12 |
Fix 203B012 - consistant layout
|
|
|
@4932
|
21 years |
jmt12 |
Major CDM rewrite so it uses DOM.
|