coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Easier way to close the "Find/Replace" panel in coqide

From: scott constable <sdconsta AT syr.edu>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] Easier way to close the "Find/Replace" panel in coqide
Date: Wed, 17 Feb 2016 17:09:48 -0500
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=sdconsta AT syr.edu; spf=None smtp.mailfrom=sdconsta AT syr.edu; spf=None smtp.helo=postmaster AT smtp1.syr.edu
Ironport-phdr: 9a23:6MOVNBGM+73jKbudaa3pcZ1GYnF86YWxBRYc798ds5kLTJ75pMuwAkXT6L1XgUPTWs2DsrQf27WQ7/6rADZRqb+681k8M7V0HycfjssXmwFySOWkMmbcaMDQUiohAc5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aJBzzOEJPK/jvHcaK1oLsh7/0p8OYOl8ZzBOGIppMbzyO5T3LsccXhYYwYo0Q8TDu5kVyRuJN2GlzLkiSlRuvru25/Zpk7jgC86l5r50IAu3GePEzSqUdBzA7OUg04tfqvF/NV1ih/HwZB34dlQZUSwPC6grmV531v2OureZ23y+BIcTeVqEuHzmu8vE4G1fTlC4bOmthoynsgctqgfcDrQ==

Excellent, thanks!

~Scott

On Wed, Feb 17, 2016 at 4:50 PM, Tej Chajed <tchajed AT mit.edu> wrote:

The Escape key will also close that panel.

On Wed, Feb 17, 2016 at 4:48 PM, scott constable <sdconsta AT syr.edu> wrote:
Hi All,

I haven't been able to discover a convenient way to close the Find/Replace panel in CoqIDE on OSX. I can hit cmd+F to open the panel, but hitting cmd+F again will not close it. It seems that the easiest way to close Find/Replace is to detach the panel into a separate window, and then close that window. Am I missing something?

Thanks in advance,

~Scott Constable

[Coq-Club] Easier way to close the "Find/Replace" panel in coqide, scott constable, 02/17/2016
- Re: [Coq-Club] Easier way to close the "Find/Replace" panel in coqide, Tej Chajed, 02/17/2016
  - Re: [Coq-Club] Easier way to close the "Find/Replace" panel in coqide, scott constable, 02/17/2016