Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Hard tabs instead of soft tabs #2136

Open
4 tasks done
hxorasani opened this issue Oct 18, 2023 · 1 comment
Open
4 tasks done

Hard tabs instead of soft tabs #2136

hxorasani opened this issue Oct 18, 2023 · 1 comment

Comments

@hxorasani
Copy link

⚠️ 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

Option to enable hard tabs based indentation

Information

Android version: 13
Device: Galaxy a04s
App Version: 2.11.1

Source

F-Droid

Format / File type

Not specific

Additional info / Log

-
@gsantner
Copy link
Owner

gsantner commented Dec 3, 2023

Please feel free to work on it and create a merge request to make the improvements available to others.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants