Skip to content

Show Authors#65

Merged
jsparber merged 4 commits into
mainfrom
jsparber/add_connection_popover
Apr 25, 2025
Merged

Show Authors#65
jsparber merged 4 commits into
mainfrom
jsparber/add_connection_popover

Conversation

@jsparber
Copy link
Copy Markdown
Collaborator

@jsparber jsparber commented Mar 6, 2025

This needs still quite some work but it creates the basic api that aardvark-doc will expose to the app layer.

@jsparber jsparber force-pushed the jsparber/add_connection_popover branch 4 times, most recently from 1d09a44 to c07529c Compare March 23, 2025 23:28
@jsparber jsparber marked this pull request as ready for review March 24, 2025 13:55
@jsparber
Copy link
Copy Markdown
Collaborator Author

this is based on #67

@jsparber jsparber force-pushed the jsparber/add_connection_popover branch 3 times, most recently from a1c6acc to 392ee8c Compare April 7, 2025 20:37
@adzialocha adzialocha self-requested a review April 24, 2025 14:57
@adzialocha adzialocha changed the base branch from main to jsparber/use_trait April 24, 2025 14:57
Copy link
Copy Markdown
Member

@adzialocha adzialocha left a comment

Choose a reason for hiding this comment

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

Very cool feature!

I think the actual tracking of online state is not correct, but we can handle that in a sub-sequent PR.

Comment thread aardvark-node/src/node.rs
@jsparber jsparber force-pushed the jsparber/use_trait branch 2 times, most recently from daecc46 to 23b2391 Compare April 25, 2025 14:32
This introduces a SystemSettings object that exposes ClockFormat and
monospace font.
Call methods on the subscribed document when authors are added to a
document or when they change online/offline.
This is the start of the ConnectionPopover discussed in
#51
@jsparber jsparber force-pushed the jsparber/add_connection_popover branch from 392ee8c to 2934e1c Compare April 25, 2025 14:45
@jsparber jsparber changed the base branch from jsparber/use_trait to main April 25, 2025 14:48
@jsparber jsparber merged commit 147a7e9 into main Apr 25, 2025
@adzialocha adzialocha deleted the jsparber/add_connection_popover branch May 26, 2025 09:46
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