Antonio Scandurra 9856e3adee Add right padding to titlebar instead of margins on elements ...

This fixes a visual glitch causing the avatar to be shown too close to
the right edge of the window when the share icon was not present.

2022-05-02 09:27:37 +02:00

..

app.ts

Rename Selector -> Picker in theme

2022-04-28 14:45:32 -07:00

chatPanel.ts

Fix typescript indent size

2022-04-06 10:35:29 -07:00

commandPalette.ts

Give hover state to picker items, keystrokes in command palette

2022-04-28 15:17:56 -07:00

components.ts

Fix typescript indent size

2022-04-06 10:35:29 -07:00

contactsPanel.ts

Fix typescript indent size

2022-04-06 10:35:29 -07:00

editor.ts

Allow each theme to style all aspects of syntax highlighting

2022-04-22 12:43:01 -07:00

picker.ts

Give hover state to picker items, keystrokes in command palette

2022-04-28 15:17:56 -07:00

projectDiagnostics.ts

Move projectDiagnostics to it's own file and remove unused code

2022-04-28 14:52:12 -04:00

projectPanel.ts

Update projectBrowser styles

2022-04-29 01:35:58 -04:00

search.ts

Update search style

2022-04-29 01:24:21 -04:00

statusBar.ts

Update status bar style

2022-04-29 00:59:08 -04:00

workspace.ts

Add right padding to titlebar instead of margins on elements

2022-05-02 09:27:37 +02:00