Editor: Allow to favorite file during editing it

[brunetton]

⚠️ This issue respects the following points: ⚠️

• This is a enhancement/feature request. Not a bug or question.
• 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 wanted feature/enhancement is not 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's settings are not touched. If your desired feature is present, you don't need to open this issue. The change will be part of the next Markor update.)

Description

Related to #1969: I miss a quick way to add the current edited file to favorites. I think the logical place to put this option is in the contextual menu of the note (hamburger menu on top right)

Information

App Version: 2.10.9

Source

F-Droid

Format / File type

Not specific

Additional info / Log

No response

[harshad1]

I am working on a PR to show the currently open file in the file browser. That should be good enough to cover this use case IMO.

[gsantner]

I would like to generally move more file specific things off to the dialog ("file info" currently).
Would remove the favorite button even from file manager itself (=more space in toolbars also, which is getting more and more bloated).

So meaning, that the favorite checkbox is nearby the "show in recents checkbox".