gsantner / gsantner/markor

Consider making "File settings" options global

Open
#2,212 7 comments 4 reactions 0 assignees View on GitHub
Dominant language
Java
Stars
6.1k
Forks
537
Avg merge
1d 18h
Merged PRs (30d)
4

Description

### ⚠️ This issue respects the following points: ⚠️

- [X] This is a **enhancement/feature request**. Not a [bug or question](https://github.com/gsantner/markor/issues/new/choose).
- [X] The topic is **not** already reported at [Issues](https://github.com/gsantner/markor/issues?q=#js-issues-search). _(I've searched it)_.
- [X] Markor **is** up to date. See [Releases](https://github.com/gsantner/markor/tags) for the latest version. Updates are available from [F-Droid](https://f-droid.org/en/packages/net.gsantner.markor/) and GitHub.
- [X] The wanted feature/enhancement is not present in the latest development version (git master). (Please [download](https://nightly.link/gsantner/markor/workflows/build-android-project/master) 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

1. Currently if you open a note, press '...' on the top right corner, then "File settings", there are many useful options such as: "Wrap words", "Line numbers", "Syntax highlighting", "Font size".
2. They are very useful options. Some of them are disabled by default such as "Line numbers", which is particularly useful to me, and which I have to enable it manually on many individual files.
3. Why not move these options to the global settings so that they are applied to a certain extension?

**Advantages:**
1. It will declutter the main interface, and move 4 buttons to the settings. Therefore simplifying the main interface. Perhaps consider then reshuffling the '...' menu?
2. All four options I quoted are very useful that it should be possible to set them globally, not individually.

### Information

Android version: 13
Device: Pixel 5a
App Version: 2.11.1

### Source

GitHub Releases

### Format / File type

Not specific

### Additional info / Log

```shell
-
```

Contributor guide

No contributing guide indexed for this repository

Research direction

Start by locating the note editor's "File settings" menu and the existing global settings implementation. Determine how the four options are currently stored per file and identify the settings and editor entry points that would need to support defaults by file extension; done means those options can be configured globally and applied to matching files.

Written by the indexing model from the issue text.

Assessment

Tech stack
android, java
Domain
mobile
Issue type
Feature
Difficulty
4/5
Estimated time
3-5 days
Activity status
Stale
Clarity
Mostly clear
Newbie friendliness
35/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.