Révision 18
| SRC/src/fr/triangle/hyperalign/gui/DesktopPane.java (revision 18) | ||
|---|---|---|
| 42 | 42 |
//private NeighbourGraph neighbourGraphPane; |
| 43 | 43 |
|
| 44 | 44 |
//private JSplitPane splitVerticalPane; |
| 45 |
private HMManager manager;
|
|
| 45 |
private HMController manager;
|
|
| 46 | 46 |
|
| 47 |
public DesktopPane(HMManager manager) {
|
|
| 47 |
public DesktopPane(HMController manager) {
|
|
| 48 | 48 |
this.res = HyperalignData.getInstance().getResourceBundle(); |
| 49 | 49 |
this.manager = manager; |
| 50 | 50 |
HyperalignData.getInstance().addObserver(this); |
| ... | ... | |
| 233 | 233 |
|
| 234 | 234 |
//////////////SEARCH PANE //////////////// |
| 235 | 235 |
protected void reinitSearchPane(){
|
| 236 |
boolean isToSearchEquivalence = manager.getSearchManager().isToSearchEquivalence();
|
|
| 237 |
boolean isToSearchWithTerminoEntry = manager.getSearchManager().isToSearchWithTerminoEntry();
|
|
| 238 |
boolean isToSearchWithDoubleEntry = manager.getSearchManager().isToSearchWithDoubleEntry();
|
|
| 236 |
boolean isToSearchEquivalence = manager.getSearchController().isToSearchEquivalence();
|
|
| 237 |
boolean isToSearchWithTerminoEntry = manager.getSearchController().isToSearchWithTerminoEntry();
|
|
| 238 |
boolean isToSearchWithDoubleEntry = manager.getSearchController().isToSearchWithDoubleEntry();
|
|
| 239 | 239 |
if(!isToSearchEquivalence){
|
| 240 | 240 |
//INIT |
| 241 | 241 |
if(searchPane==null){
|
| ... | ... | |
| 282 | 282 |
* Method to reinitialize the tab corresponding to text metadata information |
| 283 | 283 |
* @param toShow will determine whether this tab should be put forward |
| 284 | 284 |
*/ |
| 285 |
protected void reinitInfoTextPane(boolean toShow){
|
|
| 285 |
/*protected void reinitInfoTextPane(boolean toShow){
|
|
| 286 | 286 |
//INIT |
| 287 | 287 |
if(infoPane==null){
|
| 288 | 288 |
infoPane = new CorpusConfigPane(manager); |
| ... | ... | |
| 299 | 299 |
this.setSelectedIndex(this.indexOfComponent(infoPane)); |
| 300 | 300 |
this.requestFocus(); |
| 301 | 301 |
} |
| 302 |
} |
|
| 302 |
}*/
|
|
| 303 | 303 |
|
| 304 | 304 |
|
| 305 | 305 |
public void update(Observable observable, Object obj) {
|
Formats disponibles : Unified diff