Julia 051bad734e Some terminal bugs (#3767) ...

Fixes:
 - drag and drop into terminal element does not change its style
 - drag and drop terminal tab into main pane then back panics
 - can drop non-terminal items into the terminal pane

Release Notes:

- N/A

2023-12-21 18:05:14 -05:00

..

pane

Merge branch 'main' into element-types

2023-11-14 15:49:10 -08:00

persistence

Begin porting the PaneAxis element

2023-12-07 17:16:19 -08:00

dock.rs

Scale down status bar items (#3766)

2023-12-21 17:42:54 -05:00

item.rs

Merge branch 'main' into focus-handlers-on-draw

2023-12-14 23:08:23 -05:00

modal_layer.rs

Merge remote-tracking branch 'origin/main' into perf-2

2023-12-14 16:56:36 -07:00

notifications.rs

Enable all warnings in workspace, fix all warnings

2023-12-14 14:15:56 -08:00

pane_group.rs

Use InteractiveBounds everywhere we change the cursor style

2023-12-20 13:59:52 +01:00

pane.rs

Prevent drag-dropping non-terminal item into terminal pane

2023-12-21 17:52:29 -05:00

persistence.rs

Begin porting the PaneAxis element

2023-12-07 17:16:19 -08:00

searchable.rs

Enable all warnings in workspace, fix all warnings

2023-12-14 14:15:56 -08:00

shared_screen.rs

Fix inactive tab styles (the verbose way) (#3591)

2023-12-11 15:42:17 -05:00

status_bar.rs

Reintroduce LSP diagnostic/status message

2023-12-19 18:38:25 -05:00

toolbar.rs

Increase toolbar padding

2023-12-20 17:03:44 -05:00

workspace2.rs

Prevent drag-dropping non-terminal item into terminal pane

2023-12-21 17:52:29 -05:00

workspace_settings.rs

Restore auto-save on focus change, re-enable workspace tests

2023-11-30 14:45:27 -08:00