Skip to content

fix: #105 change HTMLTabPanel to use scrollpane

Richard Westphal requested to merge hotfix/#105-scroll-speed-glossar into master
  • change return type of initHTMLPane to return a JScrollPane instead of an JEditorPane
  • change errormessage for glossar load failed
  • add size constants for scrollpane

In der alten Implementation vom HTMLTabPane wurde das Scrollpane zwar initialisiert aber nie mit gerendert. Die Implementation wurde entsprechend dem Beispiel vom 'CodeTabPanel' und diesem Beispiel angepasst.

Die Konstanten für die Größe in 'GUIDefs.java' wurden entsprechend gewählt, dass möglichst viel Fläche genutzt wird ohne eine übergeordnete Scrollbar zu triggern.

Merge request reports