Skip to content
This repository has been archived by the owner on Oct 5, 2022. It is now read-only.

prettify deletes bookmarks #176

Open
theGhostJW opened this issue Oct 7, 2016 · 3 comments
Open

prettify deletes bookmarks #176

theGhostJW opened this issue Oct 7, 2016 · 3 comments

Comments

@theGhostJW
Copy link

bookmarks in a file are deleted when prettify is invoked (windows).

to reproduce: add bookmarks -> prettify -> ()

@lierdakil
Copy link
Contributor

Since prettify rewrites whole file, I'm not sure how one would keep bookmarks. Line numbers can change, and there's no direct way of knowing what lines went where...

@theGhostJW
Copy link
Author

If bookmarks are present insert one line comments above that line number in text pre-pettify then record remove and re set bookmarks after completion ???? would that work?

@lierdakil
Copy link
Contributor

Comments can change the result though, especially in case of stylish-haskell...

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

No branches or pull requests

2 participants