Eclipse hat ja unzählige Farbeinstellungen. Ich konnte die Farbe von Kommentaren einstellen, die mit " beginnen, aber ich finde nicht die Stelle, an der man das Grau von Kommentarzeilen einstellen kann, die mit * beginnen. ChatGPT und Copilot sind schnell mit der Behauptung bei der Hand, das könne man gar nicht einstellen, aber in meinem alten Workspace hatte ich es anders eingestellt. Der ist aber zur aktuellen Eclipse-Version nicht mehr kompatibel. Deswegen habe ich einen neuen aufgesetzt. Aber diese Farbeinstellung finde ich einfach nicht.
Wenn wir einer Partei die Regierungsbeteiligung verweigern, die von einer Mehrheit gewählt worden ist, weil wir diese Partei für schlecht halten, da wir einer anderen Partei angehören, wie ist dann unsere eigene demokratische Gesinnung zu bewerten?