Karol Kosek 8d3304f853
HackStudio: Update every editor with matching filename on 'Save as...' ...
Prior this change, if user had more than two copies of one file opened
in a split view, then only the active editor was renamed,
when the others had the same file contents changed.
This change will set a new file name for every file.
The is_null() check is for uncreated files, as they shouldn't be
treated as the same single file.
2021-08-22 23:41:53 +02:00
2021-08-21 08:41:27 +02:00
2021-08-18 10:30:50 +02:00
2021-08-22 10:30:06 +02:00
2021-08-19 17:20:37 +02:00
2021-06-23 19:00:11 +01:00
2021-08-06 19:14:31 +02:00
2021-07-31 08:18:01 +02:00
2021-07-16 12:58:20 +02:00
2021-07-16 12:58:20 +02:00
2021-08-19 17:20:37 +02:00
2021-07-29 11:33:16 +02:00
2021-08-22 10:30:06 +02:00
2021-08-22 10:30:06 +02:00
2021-08-22 10:30:06 +02:00
2021-08-22 10:30:06 +02:00
2021-07-29 11:33:16 +02:00
2021-07-29 11:33:16 +02:00
2021-08-22 23:41:53 +02:00
2021-08-22 10:30:06 +02:00
2021-07-31 08:18:01 +02:00
2021-07-31 08:18:01 +02:00
2021-08-01 08:10:16 +02:00
2021-07-04 17:50:33 +02:00
2021-08-06 21:03:53 +02:00
2021-08-12 18:56:30 +02:00
2021-07-08 10:11:00 +02:00
2021-06-30 11:13:54 +02:00
2021-07-21 18:02:15 +02:00
2021-07-21 18:02:15 +02:00
2021-08-22 10:30:06 +02:00
2021-08-22 10:30:06 +02:00
2021-08-22 10:30:06 +02:00
2021-08-22 10:30:06 +02:00
2021-08-22 10:30:06 +02:00
2021-08-22 10:30:06 +02:00
8d3304f853