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: Tej Chajed <tchajed AT mit.edu>
To: coq-club <coq-club AT inria.fr>
Subject: Re: [Coq-Club] Easier way to close the "Find/Replace" panel in coqide
Date: Wed, 17 Feb 2016 16:50:36 -0500
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=tchajed AT mit.edu; spf=Pass smtp.mailfrom=tchajed AT mit.edu; spf=None smtp.helo=postmaster AT dmz-mailsec-scanner-2.mit.edu
Ironport-phdr: 9a23:nD11DRbm2Elf0L6CCZuWQcX/LSx+4OfEezUN459isYplN5qZpci4bnLW6fgltlLVR4KTs6sC0LqJ9fy+EjVav96oizMrTt9lb1c9k8IYnggtUoauKHbQC7rUVRE8B9lIT1R//nu2YgB/Ecf6YEDO8DXptWZBUiv2OQc9HOnpAIma153xjLDtvcGNKFwS2nKUWvBbElaflU3prM4YgI9veO4a6yDihT92QdlQ3n5iPlmJnhzxtY+a9Z9n9DlM6bp6r5YTGfayQ6NtRrtBST8iLmp9sMbsrFzISRaFznoaSGQf1BRSVVvr9hb/C6v8sGPRtuN/1SXSadH9Tbk2VDiK6qZ3DhLklXFUZHYC7GjLh5ko3+pgqxW7qkknzg==

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