sql >> Database teknologi >  >> RDS >> Mysql

Skift kommentarskriftfarve i MySQL Workbench-forespørgsel

Det, du faktisk vil ændre, er farverne til syntaksfremhævning. Disse farver er gemt i en xml-fil, og der er i øjeblikket ingen GUI til at ændre dem. Men du kan redigere xml-filen direkte (genstart MySQL Workbench for at opfange enhver ændring). Se efter filen code_editor.xml i din MySQL Workbench installationsmappe.

Der er sektioner for hver understøttet MySQL-server som:

<?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>

Der er et antal stiltags, der hver specificerer en forgrunds- og baggrundsfarve (og styling som fed, kursiv) for hver type token. Det er her du kan justere farverne til hvad du kan lide. Lav en kopi af den originale fil, hvis du har brug for at gendanne den.




  1. Tilknytning af PostgreSQL JSON-kolonne til en Hibernate-enhedsegenskab

  2. ssh først med mysqldb i python

  3. Kan jeg tilføje en UNIK begrænsning til en PostgreSQL-tabel, efter at den allerede er oprettet?

  4. Hvordan får man antallet af dages forskel mellem to datoer på MySQL?