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.