Skip to content

Make GtWorldTabElement closeable through middle mouse button click#10

Open
joao-pedro-braz wants to merge 1 commit into
feenkcom:mainfrom
joao-pedro-braz:close-tab-through-middle-mouse-button
Open

Make GtWorldTabElement closeable through middle mouse button click#10
joao-pedro-braz wants to merge 1 commit into
feenkcom:mainfrom
joao-pedro-braz:close-tab-through-middle-mouse-button

Conversation

@joao-pedro-braz

Copy link
Copy Markdown

This makes the world tab close when clicked with the middle mouse button.
Middle mouse button click closing tabs is the default in basically every graphical code editor as well as browsers.

@girba

girba commented Nov 14, 2025

Copy link
Copy Markdown
Member

Nice. Can you please try writing a Scripter example with the desired behavior?

@joao-pedro-braz joao-pedro-braz force-pushed the close-tab-through-middle-mouse-button branch from e2880ae to e69d8d6 Compare November 14, 2025 23:30
@joao-pedro-braz joao-pedro-braz force-pushed the close-tab-through-middle-mouse-button branch from 252f6a5 to 68b8859 Compare November 14, 2025 23:42
@joao-pedro-braz

Copy link
Copy Markdown
Author

@girba Added the showSpaceSelectScripter_05_middleMouseButtonClickClosesTab Scripter example that simulates a middle mouse button click on a tab.

@girba

girba commented Nov 15, 2025

Copy link
Copy Markdown
Member

Brilliant!

@CLAassistant

Copy link
Copy Markdown

CLA assistant check
Thank you for your submission! We really appreciate it. Like many open source projects, we ask that you sign our Contributor License Agreement before we can accept your contribution.
You have signed the CLA already but the status is still pending? Let us recheck it.

1 similar comment
@CLAassistant

Copy link
Copy Markdown

CLA assistant check
Thank you for your submission! We really appreciate it. Like many open source projects, we ask that you sign our Contributor License Agreement before we can accept your contribution.
You have signed the CLA already but the status is still pending? Let us recheck it.

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.

3 participants