欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
Ekit
来自开放百科 - 灰狐
				
								
				
				
																
				
				
								
Ekit是一个HTML编辑器的Java Applet和应用。它允许加载和保存编辑好的HTML或保存为RTF格式的文件,还可以加载/保存经过Base64编码的Web安全文档。该编辑器支持HTML编辑器大部分常用的功能,也支持CSS。
功能
- Cut, Copy, & Paste
 - Bold, Italic, Underline
 - Superscript & Subscript
 - Text Styles & Colors
 - Anchor Insertion
 - Table Editing
 - Form Support
 - Image Insertion
 - Find & Replace
 - CSS Support
 - Graphical Toolbar
 - Source Edit Window
 - Executable JAR file (with systems configured to run Java JARs)
 - Internationalization support & many language files
 - Build files for Unix, Mac OS X, Windows, and Apache Ant
 - Spell checking via the Jazzy open source spellchecker
 - Font selector dialog lets you use and view system fonts in your HTML page
 - Word processor style bullet lists
 - Better table handling and new table row and column menus
 - Load and save documents in web-safe Base64 encoding
 - Multiple toolbars
 - Self-signed applet version supports images, cut-and-paste, and other features
 - Unicode character insertion tools supports dingbats, math symbols, extended alphabets, and more
 - Improved icons and toolbars
 - Font selector dropdown
 - Configure applet menus and toolbar via PARAM tag
 - Insert images from URLs
 - Improved Java 2 compliance
 - Printing
 - Advanced table and cell editing
 - Paragraph or Break line terminators
 - New Blank or Styled Document choices, smart startup script, better clipdboard handling
 - Paste "plain text" option removes formatting from clipboard contents
 - Image dialogs have more tag properties available (width, height, alternate text)
 - Better list handling, including the ability to easily revert existing lists back to text
 
链接
	分享您的观点