1a1711f1ee
Added a boolean option field to enable the firing of the "tab_close_pressed" signal when middle clicking on a tab.