erga: use `widgetChanged()` instead of direct screen rebuild posting; fixes to editor...
[iv.d.git] / egra / gui / 
treee39e98c5d1faf9977a52b5708fe17c90ecf09f9c
drwxr-xr-x   ..
-rw-r--r-- 5504 dialogs.d
-rw-r--r-- 37596 editor.d
-rw-r--r-- 973 package.d
-rw-r--r-- 42589 style.d
-rw-r--r-- 38746 subwindows.d
-rw-r--r-- 46038 widgets.d