From bc2cce7f3129e187f57ce5df6f38bcee46102564 Mon Sep 17 00:00:00 2001
From: Alan Orth <alan.orth@gmail.com>
Date: Wed, 7 Aug 2013 11:58:24 +0300
Subject: [PATCH] .bashrc: Use nicer fonts in Java apps

---
 .bashrc | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.bashrc b/.bashrc
index 84bf8df..11ed8b8 100644
--- a/.bashrc
+++ b/.bashrc
@@ -19,6 +19,8 @@ TITLEBAR='echo -ne "\033]0;${USER}@${HOSTNAME}: ${PWD}\007"'
 PROMPT_COMMAND="$TITLEBAR; history -a; history -n"
 # don't add commands starting with space to the history
 HISTCONTROL=ignorespace
+# use nicer fonts in Java apps
+export _JAVA_OPTIONS="-Dawt.useSystemAAFontSettings=on"
 
 # If a private bin directory exists, add it to PATH
 [[ -d ~/bin ]] && PATH="$PATH:~/bin"