| changeset 55618 | 995162143ef4 |
| parent 51614 | 22d1dd43f089 |
| 55617:2c585bb9560c | 55618:995162143ef4 |
|---|---|
3 |
3 |
4 Isabelle font support. |
4 Isabelle font support. |
5 */ |
5 */ |
6 |
6 |
7 package isabelle |
7 package isabelle |
8 |
|
8 |
9 |
9 import java.awt.{GraphicsEnvironment, Font} |
10 import java.awt.{GraphicsEnvironment, Font} |
10 import java.io.{FileInputStream, BufferedInputStream} |
11 import java.io.{FileInputStream, BufferedInputStream} |
11 import javafx.scene.text.{Font => JFX_Font} |
12 import javafx.scene.text.{Font => JFX_Font} |
12 |
13 |