|
@@ -2885,7 +2885,8 @@ public class GUI implements CategoryListener {
|
|
*/
|
|
*/
|
|
private void chooseTabTemp() {
|
|
private void chooseTabTemp() {
|
|
// is the uppernode on tabbedPaneOriginal or tabbedPaneSplit
|
|
// is the uppernode on tabbedPaneOriginal or tabbedPaneSplit
|
|
- if (tabbedPaneOriginal.getMousePosition() != null) {
|
|
|
|
|
|
+ /* TODO: Fix or Remove SplitView */
|
|
|
|
+ if (tabbedPaneOriginal.getMousePosition() != null || initSplit) {
|
|
tabTemp = tabbedPaneOriginal;
|
|
tabTemp = tabbedPaneOriginal;
|
|
} else {
|
|
} else {
|
|
tabTemp = tabbedPaneSplit;
|
|
tabTemp = tabbedPaneSplit;
|