Reply to this email directly, view it on GitHub, or unsubscribe.
You are receiving this because you are subscribed to this thread.
@ntrel I've just tested this and checked the code and it looks good and works well for me. I think it would be nice to have this patch merged so all the tabs in the main editor UI behave the same way (I don't think it's necessary to apply this to every single notebook like preferences, just the most frequently used ones in the main window).
Would also fix #872.
—
Reply to this email directly, view it on GitHub, or unsubscribe.
You are receiving this because you are subscribed to this thread.