erga: use `widgetChanged()` instead of direct screen rebuild posting; fixes to editor...
commitead36a029081d1645fb61eab9274fd4883fc2a60
authorketmar <ketmar@ketmar.no-ip.org>
Fri, 26 Nov 2021 07:13:25 +0000 (26 07:13 +0000)
committerketmar <ketmar@ketmar.no-ip.org>
Fri, 26 Nov 2021 07:13:25 +0000 (26 07:13 +0000)
tree2e924ccc05acf2e0425d45c7672e72981d4fe176
parent5b126112fb7f4f5c13bb711237cfd85dbe2fc0b0
erga: use `widgetChanged()` instead of direct screen rebuild posting; fixes to editor cursor blinking

FossilOrigin-Name: 0d0b2546e5dba7d125e3692996fdf5ab159e77cbf9f9240cf22b6e630de74d89
egra/gfx/base.d
egra/gui/editor.d
egra/gui/style.d
egra/gui/subwindows.d
egra/gui/widgets.d
egra/package.d