SergeySatskiy / codimension

Experimental Python IDE written mostly in Python
GNU General Public License v3.0
106 stars 20 forks source link

Ctrl+F for HTML widget #426

Closed GoogleCodeExporter closed 6 years ago

GoogleCodeExporter commented 9 years ago
It has not been implemented while it should

Original issue reported on code.google.com by sergey.s...@gmail.com on 24 Dec 2013 at 5:15