Commit 6b25151a authored by Sebastian Spaeth's avatar Sebastian Spaeth

simplify scrolled_page.made_database_changes

Rather than using a getter and a setter function which is only ever queried
in a single code place, make "made_dabase_changes" an attribute "is_dirty"
which is queried when needed. Simpler AND shorter.
parent 798d3baa
Pipeline #216893 failed with stage
in 7 minutes and 6 seconds