collaboration module¶
Class representing a collection of snapshots in a local database |
|
Class representing a remote analysis database. |
|
Class representing a remote folder in a project. |
|
Class representing a remote Group |
|
Helper class that turns json conflicts into pretty text for the ui to render |
|
Helper class that resolves conflicts |
|
Helper class that takes one merge conflict and splits it into multiple conflicts Eg takes conflicts for View/symbols and splits to one conflict per symbol |
|
|
FFI wrapper for conflict formatters |
FFI wrapper for core-constructed splitters |
|
Class taking a merge conflict and producing a formatted text output. |
|
Mutable list of formatters for FFI purposes |
|
Structure representing an individual merge conflict |
|
Mutable list of splitters for FFI purposes |
|
Class representing a remote project |
|
Class representing a connection to a Collaboration server |
|
Class representing a remote Snapshot |
|
Class representing a remote undo entry |
|
Class representing a remote User |
- active_remote() Remote | None [source]¶
Get the single actively connected Remote (for ux simplification)
- Returns:
Active Remote, if one is set. None, otherwise.
- Return type:
Remote | None
- add_known_remote(remote: Remote) None [source]¶
Add a Remote to the list of known remotes (saved to Settings)
- Parameters:
remote (Remote) – New Remote to add
- Return type:
None
- enterprise_remote() Remote | None [source]¶
Get whichever known Remote has the same address as the Enterprise license server
- Returns:
Relevant known Remote, or None if one is not found
- Return type:
Remote | None
- load_remotes()[source]¶
Load the list of known Remotes from local Settings
- Raises:
RuntimeError – If there was an error
- remove_known_remote(remote: Remote) None [source]¶
Remove a Remote from the list of known remotes (saved to Settings)
- Parameters:
remote (Remote) – Remote to remove
- Return type:
None
- save_remotes()[source]¶
Save the list of known Remotes to local Settings
- Raises:
RuntimeError – If there was an error