Isearch patch for the Mezzano text editor(github.com)1 points·by typedweb·vor 11 Jahren·0 commentsgithub.comIsearch patch for the Mezzano text editorhttps://github.com/froggey/Mezzano/pull/16/files0 commentsPost comment—