[l10n-no] Dock(ers) på norsk

[Petter Reinholdtsen]

[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. :)

-- 
Vennlig hilsen
Petter Reinholdtsen