v2.12.4 File browser: Opening files witout extensions opens the "Open with" dialog

[wshoy]

⚠️ This issue respects the following points: ⚠️

• This is a bug. Not a question or feature request.
• The topic is not already reported at Issues. (I've searched it).
• Markor is up to date. See Releases for the latest version. Updates are available from F-Droid and GitHub.
• The bug is still present in the latest development version (git master). (Please download and try the test version of Markor, named Marder. Don't worry; Markor and Marder appear as completely separate applications. You can install both side-by-side, and Markor settings are not touched. In case the issue is resolved there, you don't need to create a bug report. The change will be part of the next Markor update.)

Description

Opening files without extensions shouldn't open the "Open with" dialog. It is the case, but you need to restart the app.

Steps to reproduce

1. Create a file without extension
2. Open the file - the "Open with" dialog opens (incorrect behavior)
3. Close the app
4. Open the app
5. Open the file again - the "Open with" dialog doesn't open (correct behavior)

Information

Android version: 13
Device:
App Version: 2.12.4

Source

F-Droid

Format / File type

Not specific

Additional info / Log

-

[gsantner]

I would say it's correct to ask to select which app to open with. Just like most other file managers do it for extensionless or unknown mime typed files.

Mime Type is not always clear/extractable and without a hint by file extension it is not always clear whats in the box. Hence good to ask about opening in what app.

[wshoy]

Most files without extensions are text files. Markor is a text editor, so it's reasonable to treat the file as one.