public void setOutputDisplayProgress(boolean s) {
config.setProperty(FILE_OUTPUT_DISPLAY_PROGRESS, s);
}
- /**
+ /*
+ * ファイル - 禁則文字
+ */
+ private static final String FILE_REPLACE_FROM = "file.prohibit.replace_from";
+
+ public String getReplaceFrom() {
+ return config.getString(FILE_REPLACE_FROM, "/\\:*?\"<>|.");
+ }
+
+ public void setReplaceFrom(String s) {
+ config.setProperty(FILE_REPLACE_FROM, s);
+ }
+ private static final String FILE_REPLACE_TO = "file.prohibit.replace_to";
+
+ public String getReplaceTo() {
+ return config.getString(FILE_REPLACE_TO, "_");
+ }
+
+ public void setReplaceTo(String s) {
+ config.setProperty(FILE_REPLACE_TO, s);
+ }
+ /*
* コメント
*/
private static final String COMMENT_SIZE_AUTOSIZE = "comment.size.autosize";
return config.getInt(COMMENT_FONT_SHADOW, 1);
}
- public void setFontIndex(int s) {
+ public void setFontShadow(int s) {
config.setProperty(COMMENT_FONT_SHADOW, s);
}
private static final String COMMENT_FONT_SIZING_DISABLE = "comment.font_no_sizing";