.ui-widget { font-family: Verdana, Arial, sans-serif; font-size: 10pt; }
BorderLayout BorderLayoutPane.xml <?xml version="1.0" encoding="UTF-8"?> <panel layout="BorderLayout...
bash: svn --diff-cmd "python" --extensions "diff_to_html.py" diff -r 596:671 diff_to_html.py import sys import diff...
.ui-widget { font-family: Verdana, Arial, sans-serif; font-size: 10pt; }