| .. |
|
app.ts
|
Use the same background color as the editor for SharedScreen
|
2022-10-26 08:33:32 +02:00 |
|
commandPalette.ts
|
flattened layers and elevations
|
2022-10-19 13:02:51 -07:00 |
|
components.ts
|
Implemented direct styling for ignored and cut project panel entries
|
2022-10-28 10:45:45 -07:00 |
|
contactFinder.ts
|
flattened layers and elevations
|
2022-10-19 13:02:51 -07:00 |
|
contactList.ts
|
Don't use 'on' color for projects in the contact list
|
2022-10-31 12:28:25 -07:00 |
|
contactNotification.ts
|
flattened layers and elevations
|
2022-10-19 13:02:51 -07:00 |
|
contactsPopover.ts
|
flattened layers and elevations
|
2022-10-19 13:02:51 -07:00 |
|
contextMenu.ts
|
fix issue with text component and adjust layer selections some more
|
2022-10-19 13:45:00 -07:00 |
|
editor.ts
|
Increase scrollbar width
|
2022-11-02 09:58:15 -04:00 |
|
hoverPopover.ts
|
flattened layers and elevations
|
2022-10-19 13:02:51 -07:00 |
|
incomingCallNotification.ts
|
flattened layers and elevations
|
2022-10-19 13:02:51 -07:00 |
|
picker.ts
|
Fixup some theme inconsistencies and incorrect layer selections
|
2022-10-19 13:39:46 -07:00 |
|
projectDiagnostics.ts
|
flattened layers and elevations
|
2022-10-19 13:02:51 -07:00 |
|
projectPanel.ts
|
Fixed bug with cut entry active states
|
2022-10-31 09:55:52 -07:00 |
|
projectSharedNotification.ts
|
flattened layers and elevations
|
2022-10-19 13:02:51 -07:00 |
|
search.ts
|
flattened layers and elevations
|
2022-10-19 13:02:51 -07:00 |
|
sharedScreen.ts
|
Use the same background color as the editor for SharedScreen
|
2022-10-26 08:33:32 +02:00 |
|
statusBar.ts
|
flattened layers and elevations
|
2022-10-19 13:02:51 -07:00 |
|
tabBar.ts
|
Add pane splitting by dragged item. Works, but the overlay doesn't clear quite right
|
2022-10-24 23:31:58 -07:00 |
|
terminal.ts
|
flattened layers and elevations
|
2022-10-19 13:02:51 -07:00 |
|
tooltip.ts
|
flattened layers and elevations
|
2022-10-19 13:02:51 -07:00 |
|
updateNotification.ts
|
flattened layers and elevations
|
2022-10-19 13:02:51 -07:00 |
|
workspace.ts
|
Refine editor styles
|
2022-10-27 14:59:50 -04:00 |
