Window menu does not show tabed windows if tab is not active (docked mode)
Original Reporter info from Mantis: PascalR @PascalRiekenberg
-
Reporter name: Pascal Riekenberg
Original Reporter info from Mantis: PascalR @PascalRiekenberg
- Reporter name: Pascal Riekenberg
Description:
With anchordocking enabled and some windows tabed together.
The windows in the non active pages do not show in the window menu.
Additional information:
Attached patch fixes this.
Mantis conversion info:
- Mantis ID: 32618
- OS: Windows 10 x64
- OS Build: 1703
- Platform: i386
- Version: 1.9 (SVN)
- Fixed in revision: r56244 (#0bf8f0f4)