• Warn if saving a file will overwrite an existing file.
• Add a Bookmarks options menu entry so they can be accessed with Android 10’s gesture interface.
• Change the order of the options menu to prevent accidental creation of domain settings.
• Warn if saving a file will overwrite an existing file.
• Add a Bookmarks options menu entry so they can be accessed with Android 10’s gesture interface.
• Change the order of the options menu to prevent accidental creation of domain settings.