Pagination: Support entering page numbers directly - Githubissues

JetBrains / MPS-extensions

MPS-extensions aims to ease language development within MPS.

https://jetbrains.github.io/MPS-extensions/

Apache License 2.0

80 stars 49 forks source link

Pagination: Support entering page numbers directly #703

Closed alexanderpann closed 8 months ago

alexanderpann commented 8 months ago

The current page text is now editable.