Skip to content

Improve text string editing #71

@prasimix

Description

@prasimix

Reported by @mcdanlj:

  • Changing the ntp server was a very minor irritation. To change from europe.pool.ntp.org to us.pool.ntp.org I had to delete the whole string; I couldn't just change "europe" to "us".

Metadata

Metadata

Assignees

Labels

Type

No type

Projects

No projects

Milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions