设置面板的高度由原来的140变成160

hdw

2018-10-22 e76ae2335e826e8a8f66a45d105ab5876542c26d

1
2
3
4
5
#Fri Oct 27 10:36:06 GMT+08:00 2017 
eclipse.preferences.version=1 
validator.Checked=WebRoot/js/jquery-1.12.3.min.js 
validator.Revalidate=true 
validator.Unchecked=