When a file gets opened via command line, the editor now also checks if the file is already open.

This commit is contained in:
The Wobbler 2024-12-08 15:17:46 +01:00
parent 01a451cc0b
commit 7cc65fb651

View file

@ -126,7 +126,7 @@ class Utils:
def load_files(self, file_paths): def load_files(self, file_paths):
for file_path in file_paths: for file_path in file_paths:
if os.path.isfile(file_path): if not file_path in self.app.open_files and os.path.isfile(file_path):
file = File(self.app, file_path, file_path.split("/")[-1]) file = File(self.app, file_path, file_path.split("/")[-1])
self.app.open_files[file_path] = file self.app.open_files[file_path] = file