Skip to content

Commit

Permalink
Fix jithin-space#10: Use correct title for "letter pool" setting
Browse files Browse the repository at this point in the history
  • Loading branch information
2TallTyler committed Feb 15, 2024
1 parent d6233a4 commit 76d42ce
Show file tree
Hide file tree
Showing 2 changed files with 4 additions and 4 deletions.
4 changes: 2 additions & 2 deletions language/.en.json
Original file line number Diff line number Diff line change
Expand Up @@ -46,8 +46,8 @@
]
},
{
"label": "Vertical downwards",
"description": "pool of letters from which the blanks to be filled",
"label": "Letter pool",
"description": "Select the pool of letters from which the blanks will be filled",
"default": "abcdefghijklmnopqrstuvwxy",
"regexp": {}
},
Expand Down
4 changes: 2 additions & 2 deletions semantics.json
Original file line number Diff line number Diff line change
Expand Up @@ -85,8 +85,8 @@
{
"name": "fillPool",
"type": "text",
"label": "Vertical downwards",
"description": "pool of letters from which the blanks to be filled",
"label": "Letter pool",
"description": "Select the pool of letters from which the blanks will be filled",
"default": "abcdefghijklmnopqrstuvwxyz",
"regexp": {
"pattern": "^[^\t\n .<>?;:\"'`!@#$%^&*()\\[\\]{}_+=|\\-]*$"
Expand Down

0 comments on commit 76d42ce

Please sign in to comment.