Add refresh button for DOFs#14

Draft

LAJOUVET wants to merge 14 commits into

mainfrom

Refresh_DOF_List

Commits on Apr 4, 2025

Add refresh button for DOFs
LAJOUVET
committed
Fix exception
LAJOUVET
committed
refresh
LAJOUVET
committed
lint
LAJOUVET
committed
beautify
LAJOUVET
committed
restore
LAJOUVET
committed
Move to preferences

LAJOUVET
authored and
LAJOUVET
committed
switch_empty_type & switch_empty_size

LAJOUVET
authored and
LAJOUVET
committed
Restore panel

LAJOUVET
authored and
LAJOUVET
committed

Commits on Apr 6, 2025

Commits on Apr 7, 2025