ARK-Navigator icon indicating copy to clipboard operation
ARK-Navigator copied to clipboard

Workspaces and selective aggregated mode

Open kirillt opened this issue 3 years ago • 1 comments

Right now, we have aggregated mode which allows to open all roots and select resources from all of them at the same time. In future, we will have saved queries section (#80). For a saved query, it would be nice to support several chosen folders to run the query on. This means, we need to support usage of several prefixes as joint filter at once.

kirillt avatar Sep 22 '21 10:09 kirillt

We should introduce something like this:

interface Workspace {
    fun folders(): List<Path>
}

data class SingleFolderWorkspace(val root: Path, val subfolder: Option<String>) {
    override fun folders(): List<Path> { ... }
}

data class MultipleFoldersWorkspace(val roots: List<Path>) {
    override fun folders(): List<Path> { ... }
}

kirillt avatar May 27 '23 05:05 kirillt