82 lines
2.8 KiB
Java
82 lines
2.8 KiB
Java
/* ====================================================================
|
|
Copyright 2003-2004 Apache Software Foundation
|
|
|
|
Licensed under the Apache License, Version 2.0 (the "License");
|
|
you may not use this file except in compliance with the License.
|
|
You may obtain a copy of the License at
|
|
|
|
http://www.apache.org/licenses/LICENSE-2.0
|
|
|
|
Unless required by applicable law or agreed to in writing, software
|
|
distributed under the License is distributed on an "AS IS" BASIS,
|
|
WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
|
|
See the License for the specific language governing permissions and
|
|
limitations under the License.
|
|
==================================================================== */
|
|
|
|
package org.apache.poi.contrib.metrics;
|
|
|
|
import java.awt.*;
|
|
import java.io.FileOutputStream;
|
|
import java.io.IOException;
|
|
import java.util.Properties;
|
|
|
|
public class FontMetricsDumper
|
|
{
|
|
public static void main( String[] args ) throws IOException
|
|
{
|
|
|
|
Properties props = new Properties();
|
|
|
|
Font[] allFonts = GraphicsEnvironment.getLocalGraphicsEnvironment().getAllFonts();
|
|
for ( int i = 0; i < allFonts.length; i++ )
|
|
{
|
|
String fontName = allFonts[i].getFontName();
|
|
|
|
Font font = new Font(fontName, Font.BOLD, 10);
|
|
FontMetrics fontMetrics = Toolkit.getDefaultToolkit().getFontMetrics(font);
|
|
int fontHeight = fontMetrics.getHeight();
|
|
|
|
props.setProperty("font." + fontName + ".height", fontHeight+"");
|
|
StringBuffer characters = new StringBuffer();
|
|
for (char c = 'a'; c <= 'z'; c++)
|
|
{
|
|
characters.append( c + ", " );
|
|
}
|
|
for (char c = 'A'; c <= 'Z'; c++)
|
|
{
|
|
characters.append( c + ", " );
|
|
}
|
|
for (char c = '0'; c <= '9'; c++)
|
|
{
|
|
characters.append( c + ", " );
|
|
}
|
|
StringBuffer widths = new StringBuffer();
|
|
for (char c = 'a'; c <= 'z'; c++)
|
|
{
|
|
widths.append( fontMetrics.getWidths()[c] + ", " );
|
|
}
|
|
for (char c = 'A'; c <= 'Z'; c++)
|
|
{
|
|
widths.append( fontMetrics.getWidths()[c] + ", " );
|
|
}
|
|
for (char c = '0'; c <= '9'; c++)
|
|
{
|
|
widths.append( fontMetrics.getWidths()[c] + ", " );
|
|
}
|
|
props.setProperty("font." + fontName + ".characters", characters.toString());
|
|
props.setProperty("font." + fontName + ".widths", widths.toString());
|
|
}
|
|
|
|
FileOutputStream fileOut = new FileOutputStream("font_metrics.properties");
|
|
try
|
|
{
|
|
props.store(fileOut, "Font Metrics");
|
|
}
|
|
finally
|
|
{
|
|
fileOut.close();
|
|
}
|
|
}
|
|
}
|