krasa / GrepConsole

IntelliJ plugin - https://plugins.jetbrains.com/plugin/7125
Apache License 2.0
436 stars 57 forks source link

Intellij font size reduced when enabling plugin #307

Open janput opened 1 month ago

janput commented 1 month ago

Whenever I enable the Grep Console plugin, it will reduce my font size of the Intellij UI from 17 down to 13 This results in an unreadable UI

Steps to reproduce the behavior:

  1. Install plugin
  2. Font size is reduced
  3. Disabled plugin
  4. Font size is restored to normal

The plugin should not modify any of the UI settings

Screenshots Normal size normal size Reduced size after enabling the plugin reduced size after enabling the plugin

Environment : IntelliJ IDEA 2024.1.4 (Ultimate Edition) Build #IU-241.18034.62, built on June 20, 2024 Licensed to Jan Put Subscription is active until February 20, 2025. Runtime version: 17.0.11+1-b1207.24 amd64 VM: OpenJDK 64-Bit Server VM by JetBrains s.r.o. Linux 6.5.0-41-generic GC: G1 Young Generation, G1 Old Generation Memory: 4096M Cores: 24 Registry: ide.experimental.ui=true Non-Bundled Plugins: org.jetbrains.plugins.go-template (241.14494.150) Pythonid (241.18034.62) com.intellij.spring.websocket (241.14494.158) String Manipulation (9.14.1) com.intellij.spring.batch (241.18034.12) GrepConsole (13.0.2-IJ2023.3) com.haulmont.jpab (241.15989.21) org.sonarlint.idea (10.7.0.78874) zielu.gittoolbox (500.2.10+233) Kotlin: 241.18034.62-IJ Current Desktop: ubuntu:GNOME

Additional context Running on a 4K display/resolution with display scaling set to 100% and font scaling to 1.25x