Opera 12とかはこういうのをものすごくカスタマイズできた気がする＞＜
メニューを完全にカスタマイズできるように作ればいいのに＞＜
(ある程度クラシカルなGUIツールキットだと、ツールキット側にユーザーによるGUIカスタマイズする機能があったりするよね＞＜)