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.

Sign up for GitHub

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

Jump to bottom

As a user I want that deep inlining a subfile will mark the end of that subfile, too. #951

Closed

nilsschmidt1337 opened this issue Mar 10, 2023 · 1 comment

Assignees

Labels

Milestone

Owner

nilsschmidt1337 commented Mar 10, 2023 •

edited

P. Hurbain wrote:

A minor wish (can wait!!!)...
When you deep inline a subfile, it is marked with a start meta
0 // Inlined: 1 16 0 0 0 1 0 0 0 1 0 0 0 1 file.dat
and an empty line at the end.
I'd prefer that the end was marked as a meta too, something like
0 // Inlined end: file.dat

nilsschmidt1337 added the enhancement label

nilsschmidt1337 added this to the 1.8.66 milestone

nilsschmidt1337 self-assigned this

nilsschmidt1337 added a commit that referenced this issue


          Fixed issue #951.

ab1413b

Owner Author

nilsschmidt1337 commented Mar 10, 2023

Closed with commit ab1413b.

nilsschmidt1337 closed this as completed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment