Skip to content

POC File search in GUI for workspace & workspace history #12284

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
touilleMan wants to merge 4 commits into
base: master
Choose a base branch
from
Open

POC File search in GUI for workspace & workspace history #12284

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
4 commits
Select commit Hold shift + click to select a range
3b0b391
Implement `WorspaceOps::search()` & `WorspaceHistoryOps::search()`
touilleMan Mar 3, 2026
fb1554f
Expose `workspace(_history)_search` in GUI bindings
touilleMan Mar 3, 2026
55c1ed2
Re-generate electron&web bindings
touilleMan Mar 3, 2026
475be94
Implement file search in GUI
touilleMan Mar 3, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 1 addition & 0 deletions Cargo.lock
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

92 changes: 92 additions & 0 deletions bindings/electron/src/index.d.ts
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -501,6 +501,14 @@ export interface WorkspaceHistoryFileStat {
}


export interface WorkspaceHistorySearchMatch {
path: string
stat: WorkspaceHistoryEntryStat
score: number
matchPositions: Array<number>
}


export interface WorkspaceInfo {
id: string
currentName: string
Expand All @@ -510,6 +518,14 @@ export interface WorkspaceInfo {
}


export interface WorkspaceSearchMatch {
path: string
stat: EntryStat
score: number
matchPositions: Array<number>
}


export interface WorkspaceUserAccessInfo {
userId: string
humanHandle: HumanHandle
Expand Down Expand Up @@ -4289,6 +4305,33 @@ export type WorkspaceHistoryRealmExportDecryptor =
| WorkspaceHistoryRealmExportDecryptorUser


// WorkspaceHistorySearchCloseError
export interface WorkspaceHistorySearchCloseErrorInternal {
tag: "WorkspaceHistorySearchCloseErrorInternal"
error: string
}
export type WorkspaceHistorySearchCloseError =
| WorkspaceHistorySearchCloseErrorInternal


// WorkspaceHistorySearchError
export interface WorkspaceHistorySearchErrorInternal {
tag: "WorkspaceHistorySearchErrorInternal"
error: string
}
export type WorkspaceHistorySearchError =
| WorkspaceHistorySearchErrorInternal


// WorkspaceHistorySearchGetNextError
export interface WorkspaceHistorySearchGetNextErrorInternal {
tag: "WorkspaceHistorySearchGetNextErrorInternal"
error: string
}
export type WorkspaceHistorySearchGetNextError =
| WorkspaceHistorySearchGetNextErrorInternal


// WorkspaceHistorySetTimestampOfInterestError
export interface WorkspaceHistorySetTimestampOfInterestErrorEntryNotFound {
tag: "WorkspaceHistorySetTimestampOfInterestErrorEntryNotFound"
Expand Down Expand Up @@ -4779,6 +4822,33 @@ export type WorkspaceRemoveEntryError =
| WorkspaceRemoveEntryErrorStopped


// WorkspaceSearchCloseError
export interface WorkspaceSearchCloseErrorInternal {
tag: "WorkspaceSearchCloseErrorInternal"
error: string
}
export type WorkspaceSearchCloseError =
| WorkspaceSearchCloseErrorInternal


// WorkspaceSearchError
export interface WorkspaceSearchErrorInternal {
tag: "WorkspaceSearchErrorInternal"
error: string
}
export type WorkspaceSearchError =
| WorkspaceSearchErrorInternal


// WorkspaceSearchGetNextError
export interface WorkspaceSearchGetNextErrorInternal {
tag: "WorkspaceSearchGetNextErrorInternal"
error: string
}
export type WorkspaceSearchGetNextError =
| WorkspaceSearchGetNextErrorInternal


// WorkspaceStatEntryError
export interface WorkspaceStatEntryErrorEntryNotFound {
tag: "WorkspaceStatEntryErrorEntryNotFound"
Expand Down Expand Up @@ -5660,6 +5730,17 @@ export function workspaceHistoryOpenFileById(
workspace_history: number,
entry_id: string
): Promise<Result<number, WorkspaceHistoryOpenFileError>>
export function workspaceHistorySearch(
workspace_history: number,
path: string,
query: string
): Promise<Result<number, WorkspaceHistorySearchError>>
export function workspaceHistorySearchClose(
search: number
): Promise<Result<null, WorkspaceHistorySearchCloseError>>
export function workspaceHistorySearchGetNext(
search: number
): Promise<Result<WorkspaceHistorySearchMatch | null, WorkspaceHistorySearchGetNextError>>
export function workspaceHistorySetTimestampOfInterest(
workspace_history: number,
toi: number
Expand Down Expand Up @@ -5742,6 +5823,17 @@ export function workspaceRenameEntryById(
dst_name: string,
mode: MoveEntryMode
): Promise<Result<null, WorkspaceMoveEntryError>>
export function workspaceSearch(
workspace: number,
path: string,
query: string
): Promise<Result<number, WorkspaceSearchError>>
export function workspaceSearchClose(
search: number
): Promise<Result<null, WorkspaceSearchCloseError>>
export function workspaceSearchGetNext(
search: number
): Promise<Result<WorkspaceSearchMatch | null, WorkspaceSearchGetNextError>>
export function workspaceStatEntry(
workspace: number,
path: string
Expand Down
Loading