Ctrl+1 快速修复
Ctrl+Q 定位到最后编辑的地方
Ctrl+M 最大化当前的Edit或View (再按则反之)
Ctrl+E 快速显示当前Editer的下拉列表(如果当前页面没有显示的用黑体表示)
Ctrl+/(小键盘) 折叠当前类中的所有代码
Ctrl+×(小键盘) 展开当前类中的所有代码
Ctrl+J 正向增量查找(按下Ctrl+J后,你所输入的每个字母编辑器都提供快速匹配定位到某个单词,如果没有,则在stutes line中显示没有找到了,查一个单词时,特别实用,这个功能Idea两年前就有了)
Ctrl+Shift+J 反向增量查找(和上条相同,只不过是从后往前查)
Ctrl+Shift+P 定位到对于的匹配符(譬如{}) (从前面定位后面时,光标要在匹配符里面,后面到前面,则反之)
Alt+Shift+↓ 恢复上一个选择
Alt+Shift+← Java编辑器 选择上一个元素
Alt+Shift+→ Java编辑器 选择下一个元素
posted @ 2008-11-11 10:06 破枪玫瑰 阅读(32) 评论(0)
编辑
图片的位置
u 对齐方式
通过下面方法设置图片的对齐方式:
Alignment = Image.RIGHT
Alignment = Image.MIDDLE
Alignment = Image.LEFT
u 图片和文本
另外,你还可以指定文本相对图片的环绕方式:
Alignment = Image.RIGHT | Image.TEXTWRAP
Alignment = Image.MIDDLE
Alignment = Image.LEFT | Image.UNDERLYING
见示例代码0506,文字在Vonnegut图片的左侧,并不在我小孩的图处环绕,且排在Hitchcock图片的上面。
说明:该功能尚有一些BUG。
u 绝对位置
当制作PDF文件时,你可能用到该方法:
public void setAbsolutePosition(int absoluteX, int absoluteY)
将一个图片放要页面上一个绝对位置的代码,我们在不同的坐标处添加了两幅图片,这里使用给定的坐标将图片放在了左下角,通过将图片的宽度和高度作为X和Y坐标将设置第一个图片,坐标的2倍设置第二个图片。
缩放和旋转图片
u 缩放
有几种办法可以缩放图片:
public void scaleAbsolute(int newWidth, int newHeight)
public void scalePercent(int percent)
public void scalePercent(int percentX, int percentY)
public void scaleToFit(int fitWidth, int fitHeight)
小孩的图片大小为194×202象素,如果你想让图片小一些,你可以通过scaleAbsolute(97, 101)进行缩放,使用scalePercent(50)也能到达同样的效果。
还可以通过scaleAbsolute(194, 101)来减小,所以这些例子都放在了示例代码0607中。
u 对分辨率的影响
如果一个图片不经任何缩放,其分辨率(resolution)为72,如果该图片缩放比例为50%,则分辨率为144,如果有更低的缩放比,则分辨率将更大,因为象素相同但尺寸变得更小了。使用72/300=24%的比例放置一个300dpi的图片,例:你用300dpi扫描了一个5×5英寸的图片,图片结果为1500×1500象素(5×300),当你用24%(72/300=0.24)的比例将该图片放置到PDF文件中时,PDF中的图片将为5×5英寸1500X1500象素300dpi,该图片将始终为1500X1500象素而不管尺寸如何。
u 旋转
可以通过下面的方法旋转图片
public void setRotation(double r)
posted @ 2008-11-11 09:55 破枪玫瑰 阅读(1171) 评论(0)
编辑
//返回当前服务器时间的毫秒数
<script type="text/javascript">
function getServerTime(){
//因程序执行耗费时间,所以时间并不十分准确,误差大约在2000毫秒以下
var xmlHttp = false;
//获取服务器时间
try {
xmlHttp = new ActiveXObject("Msxml2.XMLHTTP");
} catch (e) {
try {
xmlHttp = new ActiveXObject("Microsoft.XMLHTTP");
} catch (e2) {
xmlHttp = false;
}
}
if (!xmlHttp && typeof XMLHttpRequest != 'undefined') {
xmlHttp = new XMLHttpRequest();
}
xmlHttp.open("GET", "null.txt", false);
xmlHttp.setRequestHeader("Range", "bytes=-1");
xmlHttp.send(null);
severtime=new Date(xmlHttp.getResponseHeader("Date"));
return severtime.getTime();
}
</script>
posted @ 2008-11-11 09:44 破枪玫瑰 阅读(2266) 评论(0)
编辑