Please sign in to comment.
BUG: active_tabwidget gets set to tabwidget of other editor areas.
When there are multiple editor area panes being used, on focus change, the active_tabwidget is sometimes set to a widget belonging to another editor area.
- Loading branch information...
Showing with 4 additions and 2 deletions.