eric6/APIs/Python3/micropython.bas

Mon, 22 Feb 2021 19:30:16 +0100

author
Detlev Offenbach <detlev@die-offenbachs.de>
date
Mon, 22 Feb 2021 19:30:16 +0100
changeset 8129
52c76e6cb35b
parent 7176
12b76052e1d5
permissions
-rw-r--r--

Editor
- integrated the "Quick Search" functionality into the editor search widget

eric ide

mercurial