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