programing

MySQL Workbench에서 글꼴 변경

lastmoon 2023. 8. 25. 23:54
반응형

MySQL Workbench에서 글꼴 변경

제가 알기로는 최신 버전인 MySQL Workbench 5.2를 사용하고 있지만 글꼴을 변경할 수 없습니다.기본 글꼴이 매우 작고 눈에 거슬리기 때문에 매우 불편합니다.모양 탭에는 글꼴을 변경하는 옵션이 있지만 필드를 실제로 편집할 수 없기 때문에 변경할 수 없습니다.

이 일을 피할 방법을 아는 사람이 있습니까?흔한 버그인 것 같은데, 어디에서도 해결책을 찾을 수가 없습니다.

에서

편집 > 환경설정...> 모양 > 글꼴 섹션

언급된 버전의 글꼴은 편집할 수 있지만, 매우 펑키하기 때문에(또는 Enter 를 누름) 천천히번 클릭해야 합니다. 그런 다음 글꼴 이름에 이어 공백과 글꼴 크기를 수동으로 입력해야 합니다. 예를 들어 내 항목 상태:

Source Sans Pro 10

또한 프로그램을 다시 시작해야 합니다.

Mac의 경우 왼쪽 상단 모서리에

MYSQLWorkbench -> Preferences -> Fonts 

여기서 숫자 늘리기

enter image description here

참고: 이러한 변경 사항을 적용하려면 인스턴스를 닫았다가 다시 여십시오.

확대/축소만 하면 됩니다.

(MySQL: 8.0.12) Mac 시스템에서.

mysql 사진과 확대/축소 도구를 가리키는 화살표

zoom tool

Linux를 사용하는 경우(DEBIAN 등)

Ctrl 키를 누른 상태에서 위로 스크롤(마우스 스크롤)

아래의 숨겨진 경로를 사용하는 Mac OS X의 경우에도 마찬가지입니다(참조: 이 링크).

"XML 파일에서 환경설정을 직접 편집할 수 있습니다.MWB를 종료합니다.그런 다음 ~/Library/Application Support/MySQL/Workbench/wb_options.xml 파일을 편집합니다.workbench.general 키를 찾습니다.편집자:글꼴을 지정하고 글꼴을 변경합니다.이제 MWB를 다시 시작하여 변경 사항을 확인하십시오."

편집 -> 환경설정...-> 모양 -> 글꼴 섹션

행을 강조 표시하고 ENTER를 클릭한 다음 글꼴과 크기를 편집할 수 있습니다.

다음 시간 후에 앱을 다시 시작합니다.

WB 6.1에서 글꼴 크기가 너무 작았기 때문에 글꼴 크기를 늘리고 싶었습니다.

  1. WB 닫기

  2. 이동 위치:
    C:\Users\<User>\AppData\Roaming\MySQL\Workbench\wb_options.xml,
    어디에<User>Windows 사용자 로그인 이름입니다.
    위치하다"workbench.general.Editor:Font".
    나는 가지고 있었습니다Consolas 10거기서, 그리고 그것을 바꾸었습니다.Consolas 13.
    그것은 글꼴을 편안한 크기로 늘렸습니다.

MySQL Workbench(WB) 5.2.47(윈도우 7)을 새 컴퓨터에 새로 설치한 후, 저는 예전처럼 Lucida Console 글꼴을 원했지만, 어떤 이유에서인지 WB는 예약된 키워드에 대해 다른 글꼴을 선택하여 코드를 읽을 수 없게 되었습니다.예약된 키워드에 대한 설정이 없습니다.그래서 나는 이것을 편집해서 쉽게 바꿀 수 없었습니다.wp_options.xmlfile. 허용되는 유일한 글꼴 설정은 Courier New였습니다.

나서 그런음다다른기가서복다니습사했로계다니▁then습복,사했▁went▁machine가그를 복사했습니다.wp_options.xmlWB 업그레이드 기록이 있는 WB 5.2.47에서 다운로드할 수 있습니다.그것은 효과가 있었고, 새로 설치된 WB에서 잘 작동했습니다.

wp_options.xml텍스트 diff 도구에 있는 파일들, 나는 많은 차이점들을 주목했지만, 그 차이점을 설명할 수 있는 어떤 것도 없었습니다.으로 Oracle은 , 는 Oracle의 구성이 미묘하고 않기 입니다. 왜냐하면 Oracle은 UI 구성과 함께 작동합니다.wp_options.xml파일은 WB UI를 허용하는 데 필요한 항목입니다.

VS 코드에서처럼 + 마우스 스크롤을 통해 글꼴 크기를 제어할 수도 있습니다.

언급URL : https://stackoverflow.com/questions/9553386/changing-font-in-mysql-workbench

반응형