[버그] JSON 편집기 Ctrl+F/Ctrl+G 패널 크기·닫기·중복 생성 문제

[yinyin333333]

환경

• Windows 10
• 현재 0.4.8 브랜치 빌드
• TXT가 아닌 JSON 문서를 JSON 편집기로 연 상태

문제

JSON 편집기에서 Ctrl+F 검색 패널과 Ctrl+G 줄 이동 패널을 사용할 때 다음 문제가 발생합니다.

1. 패널의 글자, 입력창, 버튼 크기가 기존 TXTeditor UI보다 지나치게 작아 가독성이 떨어집니다.
2. 패널이 열린 상태에서 같은 단축키를 다시 누르거나 Esc를 눌러도 닫히지 않습니다. 현재는 마우스로 X 버튼을 눌러야 닫을 수 있습니다.
3. Ctrl+G를 여러 번 누르면 기존 패널을 재사용하지 않고 줄 이동 패널이 여러 개 누적됩니다.

재현 방법

1. JSON 문서를 엽니다.
2. JSON 편집기에서 Ctrl+F를 누릅니다.
3. 다시 Ctrl+F 또는 Esc를 눌러 패널이 닫히는지 확인합니다.
4. Ctrl+G를 여러 번 누릅니다.
5. 줄 이동 패널이 중복 생성되는지 확인합니다.

현재 동작

• 검색/줄 이동 패널의 UI 배율이 다른 TXTeditor UI보다 작습니다.
• 키보드로 패널을 닫을 수 없습니다.
• Ctrl+G 패널이 여러 개 쌓일 수 있습니다.

기대 동작

• 검색 및 줄 이동 패널이 TXTeditor의 기본 글꼴 크기와 UI 배율을 따릅니다.
• Esc를 누르면 현재 열린 패널이 닫히고 편집기로 포커스가 돌아갑니다.
• 같은 단축키를 다시 눌렀을 때 새 패널을 추가하지 않고 기존 패널에 포커스를 주거나 패널을 닫습니다.
• 검색 패널과 줄 이동 패널은 각각 동시에 하나만 존재해야 합니다.

완료 조건

• Ctrl+F 패널의 크기와 글자가 기존 UI와 일관됨
• Ctrl+G 패널의 크기와 글자가 기존 UI와 일관됨
• Esc로 열린 패널을 닫을 수 있음
• 단축키를 반복 입력해도 패널이 중복 생성되지 않음
• 패널 종료 후 JSON 편집기로 포커스가 복귀함