| delorie.com/archives/browse.cgi | search |
On Mon, 2014-02-03 at 00:37 +0400, Алексей Харьковский wrote: > If you afraids of negative indexes, don't use python!! > Use C, C++ and other languages... > I using python and I will be using python because I see that it is > convenient and flexible. > Of course negative indexes are fine -- they behave logical and are very helpful -- we use them a lot in Ruby. And for the case where you really be afraid of them -- simple redefine the array access operator [] so that it throws an exception for a negative index. That is very easy in Ruby, and should be possible in Python too. > > Script now is available through web interface > http://www.gedasymbols.org/user/alexey_kharikovskiy/ > > You may consider turning on permanent spell checking if you are using gvim, gedit, or evolution. That is helpful if eyes are tired -- unknown words are underlined with a red wiggled line. And note that your download link is contained twice! > Does anyone need a gtk frontend? Yes -- but I think it should be integrated in a schematics editor :-) Do you have very good knowledge about GTK3? My knowledge is not very good -- currently I wonder how bad my schematics editor may look on a high resolution display with 200 DPI. Not well I guess, I have specified some sizes, i.e. separation between widgets or size of text entry field in pixels -- I know that that is not really smart, but it seems that there is still no character based size unit like the \em or \ex known from LaTeX. I have seen some discussions of GTK developers about this high DPI issue recently -- seems they have decided to ignore it until GTK5 or higher. But the 4k/UHD monitors are not any more too expensive now, and generally should be fine for CAD applications. Generally it should be good enough for now for my editor to know users default font size in pixels -- so I can calculate for example the size of a text entry or list view widget to have room for i.e. 4 characters -- even in the case the user has a high resolution display with characters with large point size. But where can I find default character point size in a way which works not only for gnome, but also other window managers?
| webmaster | delorie software privacy |
| Copyright 2019 by DJ Delorie | Updated Jul 2019 |