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

New version: TerminalPager v0.1.0 #35180

Merged
merged 1 commit into from
Apr 24, 2021

Conversation

JuliaRegistrator
Copy link
Contributor

@JuliaRegistrator JuliaRegistrator commented Apr 24, 2021

  • The number of cropped lines is now correctly computed. (Issue sync with METADATA #3)
  • The current position of the view is shown in the command line.
  • The key bindings can now be customized. (Issue sync with METADATA #2)
  • The pager now supports searching strings.
  • The pager can now freeze lines and columns. (Issue Update AutoGrad versions #1])
  • The pager now supports features, which are a set of actions that can be disable when calling it. For example, the pager is used to show the help screen. However, in this case, we remove the help feature to avoid showing another help screen.
  • A new rendering algorithm for better performance.
  • The new rendering algorithm does not add new lines when clearing the screen, but overwrite the current ones. (Issue rename hash-sha1 to git-tree-sha1 #4)
  • The help screen now shows all the important information.
  • A lot of type instabilities were fixed, leading to a much better initialization time.

JuliaRegistrator referenced this pull request in ronisbr/TerminalPager.jl Apr 24, 2021
@JuliaRegistrator JuliaRegistrator temporarily deployed to stopwatch April 24, 2021 00:16 Inactive
@github-actions
Copy link
Contributor

github-actions bot commented Apr 24, 2021

Your new version pull request met all of the guidelines for auto-merging and is scheduled to be merged in the next round.


If you want to prevent this pull request from being auto-merged, simply leave a comment. If you want to post a comment without blocking auto-merging, you must include the text [noblock] in your comment.

UUID: 0c614874-6106-40ed-a7c2-2f1cd0bff883
Repo: https://github.com/ronisbr/TerminalPager.jl.git
Tree: 6ffa8804f3eb89c19ca26fb14817288a95864df3

Registrator tree SHA: e934b8c55381f28735124f23e8f7e96d09b20416
@JuliaRegistrator JuliaRegistrator force-pushed the registrator/terminalpager/0c614874/v0.1.0 branch from 20db868 to 8ca7d1b Compare April 24, 2021 00:47
JuliaRegistrator referenced this pull request in ronisbr/TerminalPager.jl Apr 24, 2021
@JuliaRegistrator JuliaRegistrator temporarily deployed to stopwatch April 24, 2021 00:47 Inactive
@JuliaTagBot JuliaTagBot merged commit 83c8ab5 into master Apr 24, 2021
@JuliaTagBot JuliaTagBot deleted the registrator/terminalpager/0c614874/v0.1.0 branch April 24, 2021 01:00
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants