Antonio Scandurra a739c362d9 Rename editor::Event::Edited to editor::Event::BufferEdited ... This is to distinguish it from a new event we're about to add which represent edits originating from that specific editor.		2022-03-24 08:55:46 +01:00
..
theme_selector.rs	Rename editor::Event::Edited to editor::Event::BufferEdited	2022-03-24 08:55:46 +01:00