From 9baefa27423900e71d5fa2131a349e5dde2547a7 Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Wed, 11 Jul 2018 18:16:59 +0200 Subject: [PATCH] Fix usage of refreshUi API in generic arch Signed-off-by: Clifford Wolf --- generic/arch.cc | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/generic/arch.cc b/generic/arch.cc index 2282b2b8..60874e1e 100644 --- a/generic/arch.cc +++ b/generic/arch.cc @@ -112,30 +112,31 @@ void Arch::addBelInout(IdString bel, IdString name, IdString wire) void Arch::addDecalGraphic(DecalId decal, const GraphicElement &graphic) { decal_graphics[decal].push_back(graphic); + refreshUi(); } void Arch::setFrameDecal(DecalXY decalxy) { frame_decalxy = decalxy; - frameGraphicsReload = true; + refreshUiFrame(); } void Arch::setWireDecal(WireId wire, DecalXY decalxy) { wires.at(wire).decalxy = decalxy; - wireGraphicsReload.insert(wire); + refreshUiWire(wire); } void Arch::setPipDecal(PipId pip, DecalXY decalxy) { pips.at(pip).decalxy = decalxy; - pipGraphicsReload.insert(pip); + refreshUiPip(pip); } void Arch::setBelDecal(BelId bel, DecalXY decalxy) { bels.at(bel).decalxy = decalxy; - belGraphicsReload.insert(bel); + refreshUiBel(bel); } // ---------------------------------------------------------------