Skip to content

Conversation

HaudinFlorence
Copy link
Contributor

@HaudinFlorence HaudinFlorence commented May 2, 2025

Description

Transform the normal console button into a toggle one.
Fixes #675

📚 Documentation preview: jupytergis--676.org.readthedocs.build/en/676
💡 JupyterLite preview: jupytergis--676.org.readthedocs.build/en/676/lite

Copy link
Contributor

github-actions bot commented May 2, 2025

Binder 👈 Launch a Binder on branch HaudinFlorence/jupytergis/transform_the_normal_console_button_into_a_toggle_one

@HaudinFlorence HaudinFlorence force-pushed the transform_the_normal_console_button_into_a_toggle_one branch 3 times, most recently from 720356a to 36c3c42 Compare May 2, 2025 13:27
Copy link
Contributor

github-actions bot commented May 2, 2025

Integration tests report: appsharing.space

@HaudinFlorence HaudinFlorence added the enhancement New feature or request label May 2, 2025
@HaudinFlorence HaudinFlorence force-pushed the transform_the_normal_console_button_into_a_toggle_one branch from 36c3c42 to 4e2de47 Compare May 2, 2025 13:33
Copy link
Member

@martinRenou martinRenou left a comment

Choose a reason for hiding this comment

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

Thanks!

@martinRenou martinRenou changed the title Transform the normal console button into a toggle one Make the console toolbar button a toggle button May 5, 2025
@martinRenou martinRenou merged commit 9c075e9 into geojupyter:main May 5, 2025
14 of 15 checks passed
@martinRenou martinRenou changed the title Make the console toolbar button a toggle button Make the toolbar console button a toggle button May 5, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

The console button should be a toggle
2 participants