Figure 10

Figure 10: jEdit 1.7.0 on Windows 10.