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

built-in pager: write a message to the user if pager doesn't start #4197

Merged
merged 1 commit into from
Aug 4, 2024

Conversation

ilyagr
Copy link
Contributor

@ilyagr ilyagr commented Aug 2, 2024

This will hopefully improve the experience of users who encounter #4182.

Checklist

If applicable:

  • I have updated CHANGELOG.md
  • I have updated the documentation (README.md, docs/, demos/)
  • I have updated the config schema (cli/src/config-schema.json)
  • I have added tests to cover my changes

@ilyagr ilyagr marked this pull request as ready for review August 2, 2024 08:22
@ilyagr ilyagr force-pushed the pagermessage branch 2 times, most recently from feae28c to c9685d7 Compare August 2, 2024 08:27
cli/src/ui.rs Outdated Show resolved Hide resolved
@ilyagr ilyagr force-pushed the pagermessage branch 3 times, most recently from 6493528 to cf14489 Compare August 3, 2024 02:07
ilyagr added a commit to ilyagr/jj that referenced this pull request Aug 3, 2024
The message is printed at the end, any text sent to the pager before
then is lost. See
jj-vcs#4197 (comment)
for a discussion about why that seems OK.
@ilyagr
Copy link
Contributor Author

ilyagr commented Aug 3, 2024

(Changed the whole PR design after the discussion with Yuya)

ilyagr added a commit to ilyagr/jj that referenced this pull request Aug 3, 2024
The message is printed at the end, any text sent to the pager before
then is lost. See
jj-vcs#4197 (comment)
for a discussion about why that seems OK.
ilyagr added a commit to ilyagr/jj that referenced this pull request Aug 3, 2024
The message is printed at the end, any text sent to the pager before
then is lost. See
jj-vcs#4197 (comment)
for a discussion about why that seems OK.
ilyagr added a commit to ilyagr/jj that referenced this pull request Aug 3, 2024
The message is printed at the end, any text sent to the pager before
then is lost. See
jj-vcs#4197 (comment)
for a discussion about why that seems OK.
Copy link
Contributor

@yuja yuja left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

FYI, I've uploaded streampager PR. #4203

cli/src/ui.rs Outdated Show resolved Hide resolved
cli/src/ui.rs Outdated Show resolved Hide resolved
cli/src/ui.rs Outdated Show resolved Hide resolved
ilyagr added a commit to ilyagr/jj that referenced this pull request Aug 3, 2024
The message is printed at the end, any text sent to the pager before
then is lost. See
jj-vcs#4197 (comment)
for a discussion about why that seems OK.
@ilyagr ilyagr changed the title built-in pager: write a message to the user before panicking if pager doesn't start built-in pager: write a message to the user if pager doesn't start Aug 3, 2024
The message is printed at the end, any text sent to the pager before
then is lost. See
jj-vcs#4197 (comment)
for a discussion about why that seems OK.
@ilyagr ilyagr merged commit 37ccfd5 into jj-vcs:main Aug 4, 2024
17 checks passed
@ilyagr ilyagr deleted the pagermessage branch August 4, 2024 00:45
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants