Aller au contenu principal

⚠️ Please note that this topic or post has been archived. The information contained here may no longer be accurate or up-to-date. ⚠️

make tools smaller

Commentaires

2 commentaires

  • Paul Steunebrink
    No. The larger tools are a result of the GUI redesign. They were and are not configurable.
    0
  • jouni suomalainen
    Thanks Paul, not big issue, good to know anyway, jouni
    0

Cette publication n’accepte pas de commentaire.