Fixed minor bug in UISplitter that caused to incorrectly calculate its size after being dragged.

Code clean up regarding the status bar (WIP).
This commit is contained in:
Martín Lucas Golini
2024-01-31 01:14:50 -03:00
parent 9a0368af1d
commit ea0f34de7e
12 changed files with 147 additions and 142 deletions

View File

@@ -139,6 +139,10 @@ UICodeEditorSplitter* PluginManager::getSplitter() const {
return mSplitter;
}
UISplitter* PluginManager::getMainSplitter() const {
return mMainSplitter;
}
UISceneNode* PluginManager::getUISceneNode() const {
return mSplitter ? mSplitter->getUISceneNode() : nullptr;
}
@@ -263,6 +267,10 @@ void PluginManager::setSplitter( UICodeEditorSplitter* splitter ) {
mSplitter = splitter;
}
void PluginManager::setMainSplitter( UISplitter* splitter ) {
mMainSplitter = splitter;
}
void PluginManager::setFileSystemListener( FileSystemListener* listener ) {
if ( listener == mFileSystemListener )
return;