af.viewport.showQuality = view.getShowQuality();\r
af.viewport.showIdentity = view.getShowIdentity();\r
af.viewport.setAbovePIDThreshold(view.getPidSelected());\r
af.viewport.showQuality = view.getShowQuality();\r
af.viewport.showIdentity = view.getShowIdentity();\r
af.viewport.setAbovePIDThreshold(view.getPidSelected());\r
af.viewport.setFont(new java.awt.Font(view.getFontName(),\r
view.getFontStyle(), view.getFontSize()));\r
af.alignPanel.fontChanged();\r
\r
af.viewport.setRenderGaps(view.getRenderGaps());\r
af.viewport.setFont(new java.awt.Font(view.getFontName(),\r
view.getFontStyle(), view.getFontSize()));\r
af.alignPanel.fontChanged();\r
\r
af.viewport.setRenderGaps(view.getRenderGaps());\r