Skip to content
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.

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

Fix browser 'Factory files' delimiter position #5296

Closed
wants to merge 1 commit into from

Conversation

zonkmachine
Copy link
Member

@zonkmachine zonkmachine commented Nov 1, 2019

Fixes an issue where the factory file delimiter in the browser tree is placed wrong where there are user added directories. Lingering issue from #1150. Earlier fixed in #2665 and #1505.

Fixes #3183

@zonkmachine zonkmachine added needs code review A functional code review is currently required for this PR needs testing This pull request needs more testing labels Nov 1, 2019
@zonkmachine
Copy link
Member Author

More info in comments here: #3183 (comment)
Review requested from the last to code around this, @curlymorphic

@JohannesLorenz
Copy link
Contributor

I'll unassign this after talking with Curlymorphic.

The reviewer also might want to check that this will not cause regression of #1150 .

@JohannesLorenz JohannesLorenz removed the request for review from curlymorphic December 24, 2019 22:35
@JohannesLorenz
Copy link
Contributor

FYI I'll review this now.

@JohannesLorenz
Copy link
Contributor

After we talked about this, this was the wrong solution. I'll close this, the correct PR is #5378 .

Thanks still for the fix, feel free to reopen.

@zonkmachine zonkmachine deleted the filebrowser branch January 19, 2020 20:30
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
needs code review A functional code review is currently required for this PR needs testing This pull request needs more testing
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants