Show incoming request notification and implement dismissal

This commit is contained in:
Antonio Scandurra
2022-05-11 15:13:37 +02:00
parent fe89de8b11
commit 97d3616ed9
17 changed files with 688 additions and 52 deletions
+3 -1
View File
@@ -10,6 +10,7 @@ import search from "./search";
import picker from "./picker";
import workspace from "./workspace";
import projectDiagnostics from "./projectDiagnostics";
import incomingRequestNotification from "./incomingRequestNotification";
export const panel = {
padding: { top: 12, left: 12, bottom: 12, right: 12 },
@@ -32,6 +33,7 @@ export default function app(theme: Theme): Object {
padding: {
left: 6,
},
}
},
incomingRequestNotification: incomingRequestNotification(theme),
};
}