keep numbered headings

[milahu]

⚠️ This issue respects the following points: ⚠️

• [x] This is a bug. Not a question or feature request.
• [x] The topic is not already reported at Issues. (I've searched it).
• [x] Markor is up to date. See Releases for the latest version. Updates are available from F-Droid and GitHub.
• [x] 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

numbered heading:

# 1. some title

Steps to reproduce

currently, when i want to convert this to a heading

1. some title

then markor drops the numbering and gives

# some title

Information

Android version: Device: Gigaset GS110 App Version:

Source

Google Play

Format / File type

Markdown

Additional info / Log

-

[harshad1]

You could just type :)