Antonio Scandurra cdcb7c8084 Merge branch 'main' into panels

2023-05-10 15:23:37 +02:00

..

theme_registry.rs

Render more markdown features in hover popover

2023-04-26 15:33:10 -07:00

theme.rs

Merge branch 'main' into panels

2023-05-10 15:23:37 +02:00

ui.rs

Remove ViewContext::dispatch_action

2023-05-01 16:27:36 +02:00