cschen 017f43a922 disables using change_id() as it was introducing complications. ... moved view population outside of buffer adding, but it is still broken.		2024-11-19 19:50:31 +01:00
..
client.py	fix/tweaks: minor changes and fixes	2024-11-03 17:59:17 +01:00
workspace.py	disables using change_id() as it was introducing complications.	2024-11-19 19:50:31 +01:00