Jean-Marc Lasgouttes wrote: > The problem is that this text is done in lyxfunc::dispatch only, so it > is possible to bypass the checks by calling directly the wrong > dispatch command. For example, the workaread calls (called?) directly > BufferView::dispatch. > > The extra asserts does not hurt, and it is also very useful for the > fellow developpers to understand what the prerequisites are. Without > that nobody can guess that this is label code.
You are right, I'll add the assert. Georg