Skip to content
This repository has been archived by the owner on Aug 27, 2018. It is now read-only.

[Sorting List] Mark the sorting criteria #30

Open
TomGallon opened this issue Sep 5, 2016 · 0 comments
Open

[Sorting List] Mark the sorting criteria #30

TomGallon opened this issue Sep 5, 2016 · 0 comments
Assignees
@TomGallon
Labels
bug
Milestone
Short term release

Comments

@TomGallon
Copy link
Member

Actual behaviour

After sorting the results of a search, there is no way to identify the sorting criteria.

Expected behaviour

For instance, add a marker in the list of sorting criteria.

Versions

Focus-core: 0.12.1
Focus-components: 0.8.4

klee-contrib/focus-components#858
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees

@TomGallon TomGallon

Labels
bug
Projects
None yet
Milestone
Short term release
Development

No branches or pull requests
1 participant
@TomGallon