Akshay Joshi 6bd0ea7a02 Fixed an issue where the file name in the query tool tab was not changing if another file is opened. #5909

2023-03-08 17:37:45 +05:30

..

en_US

Fixed an issue where the file name in the query tool tab was not changing if another file is opened. #5909

2023-03-08 17:37:45 +05:30