(int change)
| 1294 | } |
| 1295 | |
| 1296 | protected void relayout(int change) { |
| 1297 | int newEm = layoutEm + change; |
| 1298 | if (newEm < 6) |
| 1299 | newEm = 6; |
| 1300 | if (newEm > 36) |
| 1301 | newEm = 36; |
| 1302 | |
| 1303 | if (newEm == layoutEm) |
| 1304 | return; |
| 1305 | |
| 1306 | layoutEm = newEm; |
| 1307 | fontSizeLabel.setText(String.valueOf(layoutEm)); |
| 1308 | doc.relayoutDocument(layoutWidth, layoutHeight, layoutEm, null); |
| 1309 | } |
| 1310 | |
| 1311 | public void actionPerformed(ActionEvent event) { |
| 1312 | Object source = event.getSource(); |
no test coverage detected