You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
A new feature to marimo.ui.code_editor to enhance interactivity and usability. This feature would allow users to insert placeholders for identifiers, display tooltips for them, and interact with these identifiers directly within the editor.
Proposed API Changes
New Parameter: tooltips
Type:dict
Description: A dictionary where keys are identifiers (e.g., {{identifier}}), and values are the corresponding tooltips (strings or rich content).
Enhanced Behavior in value:
Identifiers, denoted as {{identifier}}, can be embedded directly in the value.
Interactive Feature in Code Editor:
For every {{identifier}} in the editor, display a small interactive "+" button next to it.
Clicking the "+" button will display the tooltip associated with that identifier.
1. Associates presses of ++up++ or ++k++ with the `change_count` action, passing `1` as the argument to increment the count. The final argument ("Increment") is a user-facing label displayed in the footer when this binding is active.
2. Called when the binding is triggered. Take care to add the `action_` prefix to the method name.
I wonder if it would make more sense to follow this, which would be a list for tooltips instead of a dictionary, and all the identifiers are 1,2,3 indexed.
Description
Description
A new feature to
marimo.ui.code_editor
to enhance interactivity and usability. This feature would allow users to insert placeholders for identifiers, display tooltips for them, and interact with these identifiers directly within the editor.Proposed API Changes
New Parameter:
tooltips
dict
{{identifier}}
), and values are the corresponding tooltips (strings or rich content).Enhanced Behavior in
value
:{{identifier}}
, can be embedded directly in thevalue
.Interactive Feature in Code Editor:
{{identifier}}
in the editor, display a small interactive "+" button next to it.Example Usage
Expected Behavior:
{{operation}}
identifier appears in the editor.{{operation}}
.Use Cases
Additional Notes
Suggested solution
Screen.Recording.2024-11-18.at.11.46.21.mov
The text was updated successfully, but these errors were encountered: