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.
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? regards Peter -- peter kollner <[email protected]> ------------------------------------------------------------------------------ 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
