explicitly declare visibility of Scope actions

I assume these were deliberately Global?

I think they were, the intent was that once you import the module, you get the notations too.

Just to be clear: the default is Global right?

added 1 commit

• 1681b494 - explicitly declare visibility of Scope actions

Compare with previous version

The default is Global outside Section, Local inside (AFAIK).

Ok, LGTM then!

merged

mentioned in commit 2060d37b

mentioned in merge request iris!679 (merged)