P5.js-web-editor: Show the count of search elements found

Created on 18 Mar 2019  路  6Comments  路  Source: processing/p5.js-web-editor

Nature of issue?

  • New feature request

Details about the bug:

  • Web browser and version: Chrome
  • Operating System: Windows
  • Steps to reproduce this bug:

Feature enhancement details:

2019-03-18 (1)
When seacrhed for some word, count of the results found should be displayed like most of the applications.

New feature details:

good first issue help wanted low feature

All 6 comments

And I am working on this. :)

It'd be interesting to see if this feature is already available in Codemirror. I went through the codemirror manual, but couldn't find anything useful. See if you can find something @plxity :)

@GaurangTandon Okay sure, I'll look into it once. Thanks for the help:)

Hi, I new contributor and I'd like to help, i see the data search matches for all page in object cm.state.search.annotate.matches.length;

go ahead and work on this!

Hi @catarak, i send pull request for this, #1151

Was this page helpful?
0 / 5 - 0 ratings

Related issues

zeyaoli picture zeyaoli  路  4Comments

BlinfoldKing picture BlinfoldKing  路  3Comments

aferriss picture aferriss  路  4Comments

AltoRetrato picture AltoRetrato  路  4Comments

andytilia picture andytilia  路  4Comments