.. |
app
|
Add channel2 crate
|
2023-11-03 10:41:41 -07:00 |
elements
|
Add PointingHand on tabs
|
2023-11-03 11:30:15 -06:00 |
keymap
|
WIP
|
2023-10-26 17:15:19 +02:00 |
platform
|
Tooltips in mouse event handler & fix executor timer
|
2023-11-03 18:02:58 -04:00 |
text_system
|
WIP
|
2023-11-02 22:56:04 -06:00 |
action.rs
|
Remove more Send bounds and simplify view rendering
|
2023-11-02 09:44:16 +01:00 |
app.rs
|
Merge branch 'main' into editor2-rendering
|
2023-11-06 11:06:43 -07:00 |
assets.rs
|
Add back Send and Sync to AssetSource
|
2023-11-02 09:58:53 +01:00 |
color.rs
|
Fix the formatting
|
2023-10-26 13:52:04 +02:00 |
element.rs
|
Add hover behaviour to tabs
|
2023-11-03 10:55:07 -06:00 |
elements.rs
|
Checkpoint
|
2023-10-21 16:01:47 +02:00 |
executor.rs
|
WIP
|
2023-11-02 22:56:04 -06:00 |
focusable.rs
|
Remove more Send bounds and simplify view rendering
|
2023-11-02 09:44:16 +01:00 |
geometry.rs
|
Move more tooltip logic into gpui2 & fix tooltip moving on paint
|
2023-11-03 18:37:15 -04:00 |
gpui2.rs
|
Remove more Send bounds and simplify view rendering
|
2023-11-02 09:44:16 +01:00 |
image_cache.rs
|
Checkpoint
|
2023-10-21 16:01:47 +02:00 |
interactive.rs
|
Update tooltip code a bit
|
2023-11-03 21:40:28 -06:00 |
platform.rs
|
Checkpoint: Narrow down error
|
2023-11-02 12:47:06 -04:00 |
scene.rs
|
Comment out failing gpui2 test
|
2023-10-27 11:24:23 +02:00 |
style.rs
|
Add PointingHand on tabs
|
2023-11-03 11:30:15 -06:00 |
styled.rs
|
Use gpui instead of gpui2 consistenytly
|
2023-11-06 11:50:33 -07:00 |
subscription.rs
|
Allow multiple subscriptions from one entity handle
|
2023-11-06 11:03:14 -07:00 |
svg_renderer.rs
|
Fix the formatting
|
2023-10-26 13:52:04 +02:00 |
taffy.rs
|
Fix cargo fmt
|
2023-10-27 10:44:57 +02:00 |
test.rs
|
Fix hangs in new dispatcher
|
2023-11-01 17:11:42 -07:00 |
text_system.rs
|
WIP
|
2023-11-02 22:56:04 -06:00 |
util.rs
|
Add deterministic TestDispatcher
|
2023-10-25 17:33:55 +02:00 |
view.rs
|
Allow converting from a WeakView<V> to an AnyWeakView
|
2023-11-03 11:36:18 +01:00 |
window.rs
|
Move more tooltip logic into gpui2 & fix tooltip moving on paint
|
2023-11-03 18:37:15 -04:00 |