10 Commits

Author	SHA1	Message	Date
Antonio Scandurra	2449834868	Use display coordinates for the highlighted row in "go to line"	2021-11-30 11:40:53 +01:00
Antonio Scandurra	93de2bcfed	Allow overriding editor settings on a per-language basis	2021-11-29 09:39:13 +01:00
Nathan Sobo	ad26362a82	Preserve selection when clicking on editor dismisses go-to-line dialog	2021-11-25 14:10:43 -07:00
Nathan Sobo	f7532c785e	Render the current line, column, and line count in go to line dialog	2021-11-24 16:52:18 -07:00
Nathan Sobo	a07fe3aa58	Improve styling of the go to line modal	2021-11-24 16:16:29 -07:00
Nathan Sobo	1e49b56626	Restore scroll position and selections when cancelling go-to-line ... But preserve the line when confirming.	2021-11-24 15:43:48 -07:00
Nathan Sobo	8c0541b455	Fix warnings	2021-11-24 15:24:27 -07:00
Nathan Sobo	0854976691	Highlight the selected line when typing in the go to line dialog	2021-11-24 15:23:45 -07:00
Antonio Scandurra	53a7da9d3f	Allow centering selections when requesting autoscroll ... We use this new capability in the "go to line" modal.	2021-11-24 19:50:47 +01:00
Antonio Scandurra	cea8107242	WIP: Start on go to line	2021-11-24 18:45:36 +01:00