Minor refactor and UISplitter improvements.

Improved dragging.
UITab now supports close button and proper close control (user can deny the close request).
UITabWidget now allows to rearrange the tabs in the tab bar.
This commit is contained in:
Martín Lucas Golini
2020-06-05 01:33:41 -03:00
parent 951d7b2e7e
commit c408491633
26 changed files with 356 additions and 204 deletions

View File

@@ -57,11 +57,11 @@ class App {
std::string titleFromEditor( UICodeEditor* editor );
bool onTabCloseRequestCallback( EE::Window::Window* );
bool tryTabClose( UICodeEditor* editor );
bool onCloseRequestCallback( EE::Window::Window* );
void closeCurrrentTab();
void closeEditorTab( UICodeEditor* editor );
void onTabClosed( const TabEvent* tabEvent );
};