ubc-carnap-team / Rudolf

Truth Tree Widget for Carnap
2 stars 3 forks source link

Right click doesn't cancel previous context menu #112

Open lf- opened 3 years ago

lf- commented 3 years ago

If I right clicked on line 2, right clicking line 1 will not cancel the right click menu and make a new one. The existing menu would need to be cancelled by left clicking outside the menu. This doesn't line up with how native menus work.

image