Lagrange [dev]

InputWidget: Always refresh after changing contents

Jaakko Keränen

Mon Jun 12 16:04:18 2023 +0300

A "cut" operation wouldn't cause a refresh.

Diff (Colored)

Diff (Colored, Plain Text)

🔨 Patch

Parent 916df56a

Repository