alihan/OpenPipe-llm
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Allow user to select logs

Browse Source
This commit is contained in:
David Corbitt
2023-08-12 04:07:58 -07:00
parent 89815e1f7f
commit 33751c12d2
5 changed files with 71 additions and 20 deletions
Download Patch File Download Diff File Expand all files Collapse all files

15
app/src/state/selectedLogsSlice.ts
View File

@@ -4,16 +4,13 @@ export const editorBackground = "#fafafa";
export type SelectedLogsSlice = {
selectedLogIds: Set<string>;
setSelectedLogIds: (ids: Set<string>) => void;
toggleSelectedLogId: (id: string) => void;
addSelectedLogIds: (ids: string[]) => void;
clearSelectedLogIds: () => void;
};
export const createSelectedLogsSlice: SliceCreator<SelectedLogsSlice> = (set, get) => ({
selectedLogIds: new Set(),
setSelectedLogIds: (ids: Set<string>) =>
set((state) => {
state.selectedLogs.selectedLogIds = ids;
}),
toggleSelectedLogId: (id: string) =>
set((state) => {
if (state.selectedLogs.selectedLogIds.has(id)) {
@@ -22,4 +19,12 @@ export const createSelectedLogsSlice: SliceCreator<SelectedLogsSlice> = (set, ge
state.selectedLogs.selectedLogIds.add(id);
}
}),
addSelectedLogIds: (ids: string[]) =>
set((state) => {
state.selectedLogs.selectedLogIds = new Set([...state.selectedLogs.selectedLogIds, ...ids]);
}),
clearSelectedLogIds: () =>
set((state) => {
state.selectedLogs.selectedLogIds = new Set();
}),
});