Skip to content

Comments

Vindarel/directory sort follow filename#876

Merged
cxxxr merged 3 commits intolem-project:mainfrom
vindarel:vindarel/directory-sort-follow-filename
Jul 24, 2023
Merged

Vindarel/directory sort follow filename#876
cxxxr merged 3 commits intolem-project:mainfrom
vindarel:vindarel/directory-sort-follow-filename

Conversation

@vindarel
Copy link
Collaborator

@vindarel vindarel commented Jul 23, 2023

Commits seen in #868

@vindarel vindarel force-pushed the vindarel/directory-sort-follow-filename branch from 851cab5 to 9940ffb Compare July 23, 2023 19:21
@cxxxr cxxxr merged commit 183936d into lem-project:main Jul 24, 2023
@cxxxr
Copy link
Member

cxxxr commented Jul 24, 2023

Thank you

@cxxxr
Copy link
Member

cxxxr commented Jul 24, 2023

Sorting on unexpected curosr postiion seems to cause an internal error.
image

@vindarel vindarel deleted the vindarel/directory-sort-follow-filename branch July 24, 2023 08:45
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants