Some global "search" or "find" required

[stephenholtz]

Opening to see how people foresee handling "search/find" commands inside the app. Using chrome's default browser behavior might provide some consistency across platforms(?). However, it would be nice if there were some more advanced search/find-replace method similar to in other IDEs... perhaps this discussion belongs in the jupyterlab main repository.

(Thanks for setting this up! Works like a charm 🥇 )

[ddavidebor]

Electron does not support the standard chrome search features. It exposes APIs to interact with the underlying in-page search engine, but no UI of any sort.

If thus a feature was available in jupyterlab (see jupyterlab/#1074 ) we could bind ctrl+F
/ cmd+F to it.

[stephenholtz]

I see, so this really belongs in the jupyterlab. Thanks for the info

[ellisonbg]

Yes, we plan on building search and replace into the full web version of JupyterLab, so the electron app would just inherit that.

…

On Wed, May 31, 2017 at 7:06 AM, Stephen L Holtz ***@***.***> wrote: I see, so this really belongs in the jupyterlab. Thanks for the info — You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub <#17 (comment)>, or mute the thread <https://github.com/notifications/unsubscribe-auth/AABr0P4PEIIOQ5zNm8WcqD7-ITl6B2XIks5r_XPPgaJpZM4Nq3Oj> .

-- Brian E. Granger Associate Professor of Physics and Data Science Cal Poly State University, San Luis Obispo @ellisonbg on Twitter and GitHub bgranger@calpoly.edu and ellisonbg@gmail.com

[stephenholtz]

Got it, thanks!