zyedidia/micro
1
1
Fork 0
mirror of https://github.com/zyedidia/micro.git synced 2024-09-17 15:07:41 +03:00
Code Issues Projects Releases Wiki Activity

action: Fix the duplication of the unknown filetype (#3258)

Browse Source
This commit is contained in:
Jöran Karl 2024-04-19 06:01:27 +02:00 committed by GitHub
parent 0806addbd7
commit f9cad2e448
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 0 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
internal/action/infocomplete.go
View File

@ -126,9 +126,6 @@ headerLoop:
if strings.HasPrefix("off", input) {
suggestions = append(suggestions, "off")
}
if strings.HasPrefix("unknown", input) {
suggestions = append(suggestions, "unknown")
}
var chosen string
if len(suggestions) == 1 {