Mysql
 sql >> Teknologi Basis Data >  >> RDS >> Mysql

Ubah warna font komentar di kueri MySQL Workbench

Apa yang ingin Anda ubah sebenarnya adalah warna untuk penyorotan sintaks. Warna-warna ini disimpan dalam file xml dan saat ini tidak ada GUI untuk mengubahnya. Tetapi Anda dapat mengedit file xml secara langsung (mulai ulang MySQL Workbench untuk mengambil perubahan apa pun). Cari file code_editor.xml di direktori instalasi MySQL Workbench Anda.

Ada bagian untuk setiap server MySQL yang didukung seperti:

<?xml version="1.0" encoding="utf-8"?>
<languages>
  <language name="SCLEX_MYSQL">
    <!-- This is the base language setting. It's usually not directly used, but provides values shared by
         more specialized MySQL versions. -->

    <!-- Lexer properties -->
    <property name="fold" value="1" />
    <property name="fold.compact" value="0" />
    <property name="fold.comment" value="1" />
    ...
    <style id="1" fore-color="#A0A0A0" /> <!-- SCE_MYSQL_COMMENT -->
    <style id="2" fore-color="#A0A0A0" /> <!-- SCE_MYSQL_COMMENTLINE -->
    ...
  </language>
  ...
</languages>

Ada sejumlah tag gaya yang masing-masing menentukan warna latar depan dan latar belakang (dan gaya seperti tebal, miring) untuk setiap jenis token. Di sinilah Anda dapat menyesuaikan warna apa pun yang Anda suka. Buat salinan file asli jika Anda perlu memulihkannya.




  1. Database
  2.   
  3. Mysql
  4.   
  5. Oracle
  6.   
  7. Sqlserver
  8.   
  9. PostgreSQL
  10.   
  11. Access
  12.   
  13. SQLite
  14.   
  15. MariaDB
  1. Cara Menjalankan Beberapa Instance MySQL di Mesin yang Sama

  2. Memberikan batas waktu skrip yang diteruskan pada impor basis data

  3. Masalah ColumnNotFound dengan Magic dalam skala permainan

  4. bagaimana cara menggunakan Data JSON di chart.js?

  5. menyimpan data dalam tabel dengan ID menaik