Miguel Cabrerizo
Miguel Cabrerizo
I'm deeply sorry Petar I've been pretty busy these months and I don't think I can resume my collaboration right now so to be honest it's better to unassign this...
Hi @petar-cvit would the search box that comes with React Ace would fit your need? 
Perfect @petar-cvit you can assign the issue to me then and do you want the Search button to show for every React Ace editor or just for the one for...
Next week I'll prepare a PR, sorry for the delay, busy summer!
Hi @petar-cvit can I take this issue?
Hi @petar-cvit I've unassigned this issue to me as I can't see a clear path for this. I'll finish my pending PR first and try to revisit it later
Yep, but I don't think I can resume my collaboration this week due to my personal situation. I'll try again on monday.
Hei @hifabienne, I'm back at my keyboard. I've some doubts about how to proceed though, I've left some comments
Absolutely @livio-a, I hope that some of my initial code save some work to you anyway 😅
Thanks @livio-a glad something could be cherry-picked.