tree 58bd4558d644a8c6e5c302c801e35a453f5d6519
parent 1e947d60198317985591dade08d95128890f3c60
author Alex Ruiz <alruiz@google.com> 1334968257 -0700
committer Alex Ruiz <alruiz@google.com> 1334968257 -0700

Working on preference page for setting the terminal's background and
foreground colors.