On 13-12-23 14:26, Peter Koellner wrote:
> Hi!
> 
> Yesterday I installed the latest stable release for EFL 1.83, 
> elementary 1.8.2, enlightenment 0.18.0 and terminology 0.4.0. First of all 
> I would like to say that I really am glad I could switch my desktop back 
> to enlightenment this year.

\o/

> Now... Once upon a time I used to use eterm as my terminal emulator, until 
> the need for full UTF-8 support made me switch to gnome-terminal. So I tried 
> out terminology yesterday. It really looks promising. I did have some trouble 
> with the font selection in the settings menu, though. First of all, it does 
> not make much sense to have all proportional fonts displayed in the list, 
> because it is really hard to search for suitable monospaced fonts there. 
> Then, for me personally the best terminal font to use seems to be 
> 'DejaVu Sans Mono Bold', but I did not see it in the selection list, 
> only 'DejaVu Sans Mono'. I found a config file at
> ~/.config/terminology/config/standard/base.cfg, but it is in 
> a binary format, so I could not edit the font name there.
> 
> So my question is: is there a way to set the font manually somewhere?

You should be able to modify the config file from that file using eet
but I doubt it would work in terminology.

I'll try to make it better for the next release.

-- 
Boris Faure
Pointer Arithmetician
------------------------------------------------------------------------------
Rapidly troubleshoot problems before they affect your business. Most IT 
organizations don't have a clear picture of how application performance 
affects their revenue. With AppDynamics, you get 100% visibility into your 
Java,.NET, & PHP application. Start your 15-day FREE TRIAL of AppDynamics Pro!
http://pubads.g.doubleclick.net/gampad/clk?id=84349831&iu=/4140/ostg.clktrk
_______________________________________________
enlightenment-users mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/enlightenment-users

Reply via email to