It probably should be increased or better yet- dependent on the screen size/resolution. Maybe a little script could set it.
For better or worse 1280x768 is the most common screen resolution in use
today. At this resolution for a 15.6" screen it seems OK.
- Re: [Trisquel-users] My first impressions of Brigantia (Relea... chris
