Skip to content

Crop bookmarks and history the "improved" way#95

Merged
davep merged 1 commit intomainfrom
discontent
Apr 6, 2025
Merged

Crop bookmarks and history the "improved" way#95
davep merged 1 commit intomainfrom
discontent

Conversation

@davep
Copy link
Copy Markdown
Owner

@davep davep commented Apr 6, 2025

I have a suspicion that this isn't going to pan out in all situations, and I suspect that the deprecation of rich.text.Text in places like this might result in a degraded experience overall... but let's use it here anyway.

I have a suspicion that this isn't going to pan out in all situations, and I
suspect that the deprecation of rich.text.Text in places like this might
result in a degraded experience overall... but let's use it here anyway.
@davep davep added the Cosmetic All things relating to the look of the application label Apr 6, 2025
@davep davep self-assigned this Apr 6, 2025
@davep davep merged commit 9d10af3 into main Apr 6, 2025
4 checks passed
@davep davep deleted the discontent branch April 6, 2025 16:40
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Cosmetic All things relating to the look of the application

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant