(main-pane) : Fix a bug that the navigator window itself has a vertical scroll bar.
(main-pane) : Fix a bug that the navigator window itself has a vertical scroll bar.
ericmckean/es-operating-system,ericmckean/es-operating-system,josejamilena/es-operating-system,josejamilena/es-operating-system,josejamilena/es-operating-system,google-code-export/es-operating-system,google-code-export/es-operating-system,google-code-export/es-operating-system,google-code-export/es-operating-system,josejamilena/es-operating-system,berkus/es-operating-system,ericmckean/es-operating-system,josejamilena/es-operating-system,google-code-export/es-operating-system,ericmckean/es-operating-system,berkus/es-operating-system,berkus/es-operating-system,josejamilena/es-operating-system,berkus/es-operating-system,berkus/es-operating-system,google-code-export/es-operating-system,google-code-export/es-operating-system,ericmckean/es-operating-system,ericmckean/es-operating-system,josejamilena/es-operating-system,berkus/es-operating-system,berkus/es-operating-system,ericmckean/es-operating-system