Sahil Batra 355f6e9b53 settings: Move 'enter_sends' setting to property_types dict. ... This commit moves "enter_sends" setting to property_types dict. With this change, changing enter_sends setting also sends an event of type "update_display_settings" and thus enables us to live-update the UI.		2021-07-27 15:52:53 -07:00
..
events.js	settings: Move 'enter_sends' setting to property_types dict.	2021-07-27 15:52:53 -07:00