--- ThomasV <thomasV1(a)gmx.de> wrote:
Maybe it is possible to set the namespace number (or
name) in a settings variable. So that when you add the
extension to LocalSettings you also add
"$ProofreadNamespace = 106;" (or something similar to
that) there. If that can be done I think that would be
a more flexible solution.
we are going to have the name of the namespace as a System message