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

2023-03-08 16:59:36 +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 16:59:36 +05:30