| 1734 |
#endif |
#endif |
| 1735 |
raise(); |
raise(); |
| 1736 |
present(); |
present(); |
| 1737 |
|
|
| 1738 |
|
// restore user specified splitter position |
| 1739 |
|
if (Settings::singleton()->mainWindowSplitterPosX >= 0 && |
| 1740 |
|
Settings::singleton()->autoRestoreWindowDimension) |
| 1741 |
|
{ |
| 1742 |
|
const int pos = Settings::singleton()->mainWindowSplitterPosX; |
| 1743 |
|
printf("Restoring user's preferred splitter position=%d\n", pos); |
| 1744 |
|
m_HPaned.set_position(pos); |
| 1745 |
|
} |
| 1746 |
|
// this signal handler is late-connected after the UI build-up has settled |
| 1747 |
|
// to prevent the UI build-up from overwriting user's setting for splitter |
| 1748 |
|
// position unintentionally |
| 1749 |
|
m_HPaned.property_position().signal_changed().connect([this]{ |
| 1750 |
|
if (!Settings::singleton()->autoRestoreWindowDimension) return; |
| 1751 |
|
const int pos = m_HPaned.get_position(); |
| 1752 |
|
printf("Saving user's preferred splitter position=%d\n", pos); |
| 1753 |
|
Settings::singleton()->mainWindowSplitterPosX = pos; |
| 1754 |
|
}); |
| 1755 |
} |
} |
| 1756 |
|
|
| 1757 |
void MainWindow::updateMacroMenu() { |
void MainWindow::updateMacroMenu() { |
Parent Directory
| 
Revision Log
| 
Patch