Skip to main content

⚠️ 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

Comments

2 comments

  • 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

Post is closed for comments.