Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Selecting text in Search box in CoqIDE #11024

Closed
bcip opened this issue Nov 1, 2019 · 0 comments · Fixed by #18523
Closed

Selecting text in Search box in CoqIDE #11024

bcip opened this issue Nov 1, 2019 · 0 comments · Fixed by #18523
Labels
part: CoqIDE Issues and PRs related to CoqIDE or other IDE features of coq.
Projects
CoqIDE
Milestone
8.20+rc1

Comments

@bcip
Copy link

bcip commented Nov 1, 2019

Description of the problem

When selecting text in the "find/replace" box in CoqIDE, the display effect is not clear for the user to track which part of text is selected.

not selected:
Screenshot_7
selected:
Screenshot_8

Coq Version

The Coq Proof Assistant, version 8.10.1 (October 2019)
compiled on Oct 25 2019 13:26:04 with OCaml 4.07.1

My OS is Windows 10.
@Alizter Alizter added the part: CoqIDE Issues and PRs related to CoqIDE or other IDE features of coq. label Jul 7, 2021
@Alizter Alizter added this to Bugs in CoqIDE May 18, 2022
Frigory33 added a commit to Frigory33/coq that referenced this issue Mar 26, 2023
@Frigory33
coqide: Improve find/replace UI
db6c39c 
Fixes coq#11024
Frigory33 added a commit to Frigory33/coq that referenced this issue Mar 26, 2023
@Frigory33
coqide: Improve find/replace UI
b461c4b 
Fixes coq#11024
@Frigory33 Frigory33 mentioned this issue Mar 26, 2023
Closed
Frigory33 added a commit to Frigory33/coq that referenced this issue Apr 1, 2023
@Frigory33
coqide: Improve find/replace UI (margins, icons)
7fc5a46 
Fixes coq#11024
Frigory33 added a commit to Frigory33/coq that referenced this issue Apr 1, 2023
@Frigory33
coqide: Improve find/replace UI (margins, icons)
d6af1fa 
Fixes coq#11024
Frigory33 added a commit to Frigory33/coq that referenced this issue Apr 1, 2023
@Frigory33
coqide: Improve find/replace UI
ca7e6f6 
Fixes coq#11024
Frigory33 added a commit to Frigory33/coq that referenced this issue Apr 2, 2023
@Frigory33
coqide: Improve find/replace UI (margins, icons)
81b74ee 
Fixes coq#11024
Frigory33 added a commit to Frigory33/coq that referenced this issue Apr 24, 2023
@Frigory33
coqide: Improve find/replace UI (margins, icons)
2629c0b 
Fixes coq#11024
Frigory33 added a commit to Frigory33/coq that referenced this issue Jul 14, 2023
@Frigory33
coqide: Improve find/replace UI (margins, icons)
a16cb22 
Fixes coq#11024
Frigory33 added a commit to Frigory33/coq that referenced this issue Jul 14, 2023
@Frigory33
coqide: Improve find/replace UI
dcd1896 
Fixes coq#11024
Frigory33 added a commit to Frigory33/coq that referenced this issue Jul 14, 2023
@Frigory33
coqide: Improve find/replace UI
ee2039c 
Fixes coq#11024
Frigory33 added a commit to Frigory33/coq that referenced this issue Jan 21, 2024
@Frigory33
coqide: Improve find/replace UI (margins, icons)
543e18e 
Fixes coq#11024
Frigory33 added a commit to Frigory33/coq that referenced this issue Jan 21, 2024
@Frigory33
coqide: Improve find/replace UI (margins, icons)
1a09109 
Fixes coq#11024
Frigory33 added a commit to Frigory33/coq that referenced this issue Jan 21, 2024
@Frigory33
coqide: Improve find/replace UI (margins, icons)
e38accd 
Fixes coq#11024
@Frigory33 Frigory33 mentioned this issue Jan 21, 2024
Merged
1 task
Frigory33 added a commit to Frigory33/coq that referenced this issue Jan 21, 2024
@Frigory33
coqide: Improve find/replace UI (margins, icons)
0ca5639 
Fixes coq#11024
Frigory33 added a commit to Frigory33/coq that referenced this issue Jan 21, 2024
@Frigory33
coqide: Improve find/replace UI (margins, icons)
dc85911 
Fixes coq#11024
Frigory33 added a commit to Frigory33/coq that referenced this issue Jan 25, 2024
@Frigory33
coqide: Improve find/replace UI (margins, icons)
2808666 
Fixes coq#11024
Frigory33 added a commit to Frigory33/coq that referenced this issue Feb 20, 2024
@Frigory33
coqide: Improve find/replace UI (margins, icons)
014fd11 
Fixes coq#11024
CoqIDE automation moved this from Bugs to Done Feb 23, 2024
@coqbot-app coqbot-app bot added this to the 8.20+rc1 milestone Feb 23, 2024
louiseddp pushed a commit to louiseddp/coq that referenced this issue Feb 27, 2024
@Frigory33 @louiseddp
coqide: Improve find/replace UI (margins, icons)
654a0ee 
Fixes coq#11024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
part: CoqIDE Issues and PRs related to CoqIDE or other IDE features of coq.
Projects
CoqIDE
  
Done
Milestone
8.20+rc1
Development

Successfully merging a pull request may close this issue.

CoqIDE: Improve find/replace UI (margins, icons) Frigory33/coq
2 participants
@bcip @Alizter