|
a/tool/src/GUI/StudioUI3.java |
|
b/tool/src/GUI/StudioUI3.java |
|
... |
|
... |
| 362 |
// + html._div
|
362 |
// + html._div
|
| 363 |
// );
|
363 |
// );
|
| 364 |
//
|
364 |
//
|
| 365 |
button.setEnabled(false);
|
365 |
button.setEnabled(false);
|
| 366 |
|
366 |
|
|
|
367 |
// solve a bug we have on the screen
|
|
|
368 |
this.editorPane(is.contentHTML, true, 0, "");
|
|
|
369 |
|
|
|
370 |
// do the front screen
|
| 367 |
callFrontScreen();
|
371 |
callFrontScreen();
|
| 368 |
|
372 |
|
| 369 |
// capture the clicks on HTML content
|
373 |
// capture the clicks on HTML content
|
| 370 |
doFormInterception();
|
374 |
doFormInterception();
|
| 371 |
|
375 |
|
|
... |
|
... |
| 373 |
jScrollPane2.setViewportView(text);
|
377 |
jScrollPane2.setViewportView(text);
|
| 374 |
|
378 |
|
| 375 |
// change our title
|
379 |
// change our title
|
| 376 |
setTitle("TripleCheck");
|
380 |
setTitle("TripleCheck");
|
| 377 |
|
381 |
|
| 378 |
|
|
|
| 379 |
// doFrontScreen();
|
382 |
// doFrontScreen();
|
| 380 |
}
|
383 |
}
|
| 381 |
|
384 |
|
| 382 |
public JTree getTree(){
|
385 |
public JTree getTree(){
|
| 383 |
return tree;
|
386 |
return tree;
|
|
... |
|
... |
| 494 |
* JEditorTextPane that has a prominent action in our tool.
|
497 |
* JEditorTextPane that has a prominent action in our tool.
|
| 495 |
* This is the text area where the content of SPDX files are
|
498 |
* This is the text area where the content of SPDX files are
|
| 496 |
* displayed and at the same time the place where all other
|
499 |
* displayed and at the same time the place where all other
|
| 497 |
* actions such as search operations take place. Before this
|
500 |
* actions such as search operations take place. Before this
|
| 498 |
* method existed, it was a complete mess and very difficult
|
501 |
* method existed, it was a complete mess and very difficult
|
| 499 |
* to make changes to all the occurences throughout the code
|
502 |
* to make changes to all the occurrences throughout the code
|
| 500 |
* where this object was called/changed.
|
503 |
* where this object was called/changed.
|
| 501 |
* @param contentType
|
504 |
* @param contentType
|
| 502 |
* @param editable
|
505 |
* @param editable
|
| 503 |
* @param caretPosition
|
506 |
* @param caretPosition
|
| 504 |
* @param cache Should this change be stored in the cache or not?
|
507 |
* @param cache Should this change be stored in the cache or not?
|
|
... |
|
... |
| 608 |
controller.process(newRequest);
|
611 |
controller.process(newRequest);
|
| 609 |
}
|
612 |
}
|
| 610 |
};
|
613 |
};
|
| 611 |
thread.start();
|
614 |
thread.start();
|
| 612 |
}
|
615 |
}
|
| 613 |
|
|
|
| 614 |
|
|
|
| 615 |
|
616 |
|
| 616 |
}
|
617 |
}
|
| 617 |
|
618 |
|
| 618 |
/**
|
619 |
/**
|
| 619 |
* Nothing more than going back when possible
|
620 |
* Nothing more than going back when possible
|