[Thomas Gramstad]
Tja -- dokkpanel er ikke dårlig, men jeg er usikker på om det er nødvendig. Dock/dokk er intuitivt for meg, men mulig det bare er meg/blitt vant til det. Det er mulig å skille ord som ligner hverandre ved bevisst valg av kjønn. For å skille fra "ei dokke" kan en være bevisst på å bruke "e(i)n dokk", altså hankjønn. Ubestemt flertall skal vel godt gjøres å blande sammen, kontekstene for de to ordene vil jo være veldig forskjellige?
Noen som vet fra hvilke av de engelske betydningene for 'dock' som GUI-begrepet hentet ordet?
Jeg ser fra <URL: https://en.wikipedia.org/wiki/Dock > at det gjelder alt fra lasterampe til havneplass. :)