| 939 | | if (old_gwa != wa) { |
|---|
| 940 | | theGuiApp()->setCurrentView(this); |
|---|
| 941 | | d.current_work_area_ = wa; |
|---|
| 942 | | for (int i = 0; i != d.splitter_->count(); ++i) { |
|---|
| 943 | | if (d.tabWorkArea(i)->setCurrentWorkArea(wa)) { |
|---|
| 944 | | if (d.current_main_work_area_) |
|---|
| 945 | | d.current_main_work_area_->setFrameStyle(QFrame::NoFrame); |
|---|
| 946 | | d.current_main_work_area_ = wa; |
|---|
| 947 | | d.current_main_work_area_->setFrameStyle(QFrame::Box | QFrame::Plain); |
|---|
| 948 | | //d.current_main_work_area_->setLineWidth(2); |
|---|
| 949 | | LYXERR(Debug::DEBUG, "Current wa: " << currentWorkArea() << ", Current main wa: " << currentMainWorkArea()); |
|---|
| 950 | | return; |
|---|
| 951 | | } |
|---|
| 952 | | } |
|---|
| 953 | | LYXERR(Debug::DEBUG, "This is not a tabbed wa"); |
|---|
| 954 | | on_currentWorkAreaChanged(wa); |
|---|
| 955 | | BufferView & bv = wa->bufferView(); |
|---|
| 956 | | bv.cursor().fixIfBroken(); |
|---|
| 957 | | bv.updateMetrics(); |
|---|
| 958 | | wa->setUpdatesEnabled(true); |
|---|
| 959 | | } |
|---|
| | 939 | if (old_gwa == wa) |
|---|
| | 940 | return; |
|---|
| | 941 | |
|---|
| | 942 | theGuiApp()->setCurrentView(this); |
|---|
| | 943 | d.current_work_area_ = wa; |
|---|
| | 944 | for (int i = 0; i != d.splitter_->count(); ++i) { |
|---|
| | 945 | if (d.tabWorkArea(i)->setCurrentWorkArea(wa)) { |
|---|
| | 946 | //if (d.current_main_work_area_) |
|---|
| | 947 | // d.current_main_work_area_->setFrameStyle(QFrame::NoFrame); |
|---|
| | 948 | d.current_main_work_area_ = wa; |
|---|
| | 949 | //d.current_main_work_area_->setFrameStyle(QFrame::Box | QFrame::Plain); |
|---|
| | 950 | //d.current_main_work_area_->setLineWidth(2); |
|---|
| | 951 | LYXERR(Debug::DEBUG, "Current wa: " << currentWorkArea() << ", Current main wa: " << currentMainWorkArea()); |
|---|
| | 952 | return; |
|---|
| | 953 | } |
|---|
| | 954 | } |
|---|
| | 955 | LYXERR(Debug::DEBUG, "This is not a tabbed wa"); |
|---|
| | 956 | on_currentWorkAreaChanged(wa); |
|---|
| | 957 | BufferView & bv = wa->bufferView(); |
|---|
| | 958 | bv.cursor().fixIfBroken(); |
|---|
| | 959 | bv.updateMetrics(); |
|---|
| | 960 | wa->setUpdatesEnabled(true); |
|---|