javax.swing.text.html.StyleSheet.getPointSize()方法的使用及代码示例

x33g5p2x  于2022-01-30 转载在 其他  
字(2.1k)|赞(0)|评价(0)|浏览(185)

本文整理了Java中javax.swing.text.html.StyleSheet.getPointSize()方法的一些代码示例,展示了StyleSheet.getPointSize()的具体用法。这些代码示例主要来源于Github/Stackoverflow/Maven等平台,是从一些精选项目中提取出来的代码,具有较强的参考意义,能在一定程度帮忙到你。StyleSheet.getPointSize()方法的具体详情如下:
包路径:javax.swing.text.html.StyleSheet
类名称:StyleSheet
方法名:getPointSize

StyleSheet.getPointSize介绍

暂无

代码示例

代码示例来源:origin: cpesch/RouteConverter

try {
  if (size.equals("xx-small")) {
    newsize = (int) css.getPointSize(0);
  } else if (size.equals("x-small")) {
    newsize = (int) css.getPointSize(1);
  } else if (size.equals("small")) {
    newsize = (int) css.getPointSize(2);
  } else if (size.equals("medium")) {
    newsize = (int) css.getPointSize(3);
  } else if (size.equals("large")) {
    newsize = (int) css.getPointSize(4);
  } else if (size.equals("x-large")) {
    newsize = (int) css.getPointSize(5);
  } else if (size.equals("xx-large")) {
    newsize = (int) css.getPointSize(6);
  } else if (size.equals("bigger")) {
    newsize = (int) css.getPointSize("+1");
  } else if (size.equals("smaller")) {
    newsize = (int) css.getPointSize("-1");
  } else if (size.endsWith("pt")) {
    String sz = size.substring(0, size.length() - 2);
    newsize = Integer.parseInt(sz);
  } else {
    newsize = (int) css.getPointSize(size);

代码示例来源:origin: javax.help/javahelp

try {
  if (size.equals("xx-small")) {
  newsize = (int)css.getPointSize(0);
  } else if (size.equals("x-small")) {
  newsize = (int)css.getPointSize(1);
  } else if (size.equals("small")) {
  newsize = (int)css.getPointSize(2);
  } else if (size.equals("medium")) {
  newsize = (int)css.getPointSize(3);
  } else if (size.equals("large")) {
  newsize = (int)css.getPointSize(4);
  } else if (size.equals("x-large")) {
  newsize = (int)css.getPointSize(5);
  } else if (size.equals("xx-large")) {
  newsize = (int)css.getPointSize(6);
  } else if (size.equals("bigger")) {
  newsize = (int)css.getPointSize("+1");
  } else if (size.equals("smaller")) {
  newsize = (int)css.getPointSize("-1");
  } else if (size.endsWith("pt")) {
  String sz = size.substring(0, size.length() - 2);
  newsize = Integer.parseInt(sz);
  } else {
  newsize = (int) css.getPointSize(size);

相关文章