Antonio Scandurra 666ea61dbc Introduce a new BlockStyle field for blocks ... This new field allows blocks to specify how they want to be laid out: - If `Fixed` they can take up all the width they want and they will impact the scroll width of the editor. This is useful for diagnostic messages and allows scrolling the editor further to the right to visualize the entire message. - If `Flex` they can extend all the way to the scroll width without impacting it any further. This is useful for the rename editor that we insert as a block decoration when hitting `F2`. - If `Sticky`, they will be as wide as the editor element and won't participate in the horizontal scrolling of the editor. This is useful for headers in general, where we want e.g. the filename and the jump button to always be visible independently of how much the user has scrolled to the right.		2022-06-10 13:47:40 +02:00
..
src	Introduce a new BlockStyle field for blocks	2022-06-10 13:47:40 +02:00
Cargo.toml	Start work on handling multibuffers properly when closing unsaved buffers	2022-05-22 16:48:33 -07:00