Nathan Sobo 1ddbda5095 Rename DockItem to Panel

2023-05-09 10:18:11 +02:00

..

theme_registry.rs

Render more markdown features in hover popover

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

theme.rs

Rename DockItem to Panel

2023-05-09 10:18:11 +02:00

ui.rs

Remove ViewContext::dispatch_action

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