Tab enhancements

For editors/painters opened as tabs in the IDE window, you can close a tab by clicking the scroll wheel or middle mouse button on it.