4 Commits

Author	SHA1	Message	Date
Michał Wawrzyniec Urbańczyk	ad69eeb4ad	Build script merge (#3743) ... Merged the build script into main repository. Some related cleanups.	2022-10-10 23:38:48 +02:00
Wojciech Daniło	61546a7ade	Wip/wdanilo/widgets 182746060 (#3678)	2022-10-04 04:51:27 +02:00
Dmitry Bushev	c2a5db0063	Update apply-edit benchmark to use lazy visualization (#3642) ... This PR adds an ability to check that new API works. There is a separate task to integrate it in IDE	2022-08-15 07:11:51 +00:00
Dmitry Bushev	0701e762ea	Add Language Server benchmarking tool (#3578)	2022-07-22 14:12:52 +00:00