Dropdown-Menu search of "add node" is case-sensitive  #19

New issue

Copy link

New issue

Copy link

Open

Open

Dropdown-Menu search of "add node" is case-sensitive #19

Copy link

Labels

enhancementNew feature or requestNew feature or request

Description

MatPopp

opened on Sep 12, 2022

Issue body actions

It should not be case-sensitive

Reactions are currently unavailable

Activity

1. simontaurus commented on Sep 13, 2022

   

   simontaurus

   on Sep 13, 2022

   Contributor

   More actions

   relatet to https://www.semantic-mediawiki.org/wiki/Help:Search_operators#Case_insensitivity
2. simontaurus

   added

   enhancementNew feature or requestNew feature or request

   on Sep 13, 2022

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

Labels

enhancementNew feature or requestNew feature or request

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions

• Open in GitHub Copilot app