else if (eventSource == edit_TimeDate)// 添加日期时间
{
this.text.requestFocus();
SimpleDateFormat currentDateTime = new SimpleDateFormat("HH:mm yyyy-MM-dd");
this.text.insert(currentDateTime.format(new Date()), this.text.getCaretPosition());
} else if (eventSource == tool_autoLine) // 添加自动换行事件
{
if(tool_autoLine.getState()==true) // 判断是否现在自动换行
{
this.text.setLineWrap(true); // 设置内容自动换行
} else
{
this.text.setLineWrap(false); // 内容不是自动换行
}
}
Java 记事本——今天添加了简单的插入时间和自动换行菜单的实现
最新推荐文章于 2023-01-02 21:27:42 发布