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

Customize webview title #445

Closed
tjcouch-sil opened this issue Sep 26, 2023 · 3 comments · Fixed by #583
Closed

Customize webview title #445

tjcouch-sil opened this issue Sep 26, 2023 · 3 comments · Fixed by #583
Assignees

Comments

@tjcouch-sil
Copy link
Member

tjcouch-sil commented Sep 26, 2023

As a user, I want the name of the tab I have open to provide helpful information to me as I work in the tab so I can see what tabs are effectively.

As an extension developer, I want to update my webview's title on the fly so I can update information embedded into the title bar.

Concrete example: As a user, I want to be able to see what projects are showing in my text collection in the tab's title so I can see the contents of the text collection at a glance.


We need to add some way to edit the title of the webviews. Maybe from the webview provider (some async function to run to update the title) or maybe from the webview code itself (a couple of React props title and updateTitle?). Or maybe both.

@tjcouch-sil tjcouch-sil converted this from a draft issue Sep 26, 2023
@tjcouch-sil tjcouch-sil added this to the Tech Demo milestone Sep 26, 2023
@tjcouch-sil
Copy link
Member Author

Split off from #222

@tjcouch-sil tjcouch-sil moved this to Open in Paranext Sep 26, 2023
@tjcouch-sil tjcouch-sil removed this from the Tech Demo milestone Sep 26, 2023
@GlennPruitt GlennPruitt moved this from Open to Product Backlog in Paranext Sep 27, 2023
@tjcouch-sil tjcouch-sil added this to the Tech Demo milestone Sep 27, 2023
@tjcouch-sil tjcouch-sil moved this from Product Backlog to 🔖 ToDo in Paranext Oct 18, 2023
@tjcouch-sil tjcouch-sil moved this from 🔖 ToDo to 🏗 In progress in Paranext Oct 18, 2023
@tjcouch-sil tjcouch-sil self-assigned this Oct 18, 2023
@tjcouch-sil
Copy link
Member Author

Split off detecting updates to #581 since it might be nice to have in very specific situations but probably isn't worth doing right now.

@tjcouch-sil
Copy link
Member Author

tjcouch-sil commented Oct 20, 2023

@tjcouch-sil tjcouch-sil moved this from 🏗 In progress to 👀 In review in Paranext Oct 20, 2023
@github-project-automation github-project-automation bot moved this from 👀 In review to ✅ Done in Paranext Oct 23, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
Status: ✅ Done
Development

Successfully merging a pull request may close this issue.

1 participant