##// END OF EJS Templates
Updates tab widget so it can be deleted when closed
Updates tab widget so it can be deleted when closed
Alexandre Leroux -
r267:83d15158feaa
Show More