How to shrink the address bar (Opera Developer Mac)

[rainer-net1]

rainer-net1 last edited by

the address bar in opera (developer) is much too large and - most of all - it isn't even necessary because no link has this lngth;
but it prevents extension buttons to be correctly displayed

I couldn't find any hints on the web, nor is there any applicable setting in the advanced prefs for this to accomplish - but I need it