No longer broken
- Fixed the sidebar tab switcher layout and compatibility with custom themes.
- Fixed active file name getting cut off in the right sidebar.
- Pull down action is now easier to activate when navigation is hidden.
- Android: Fixed double-tap to switch to edit mode.