Jürgen Spitzmüller <sp...@lyx.org> writes: > Pavel Sanda wrote: >> we forgot to kill guii component and people are trying >> to assign to it wrongly. could you remove it now > > We cannot remove it, for the sake of bug tracking history. Maybe we can make > it unselectable?
Removing it is fine (I did it for some other components). The result is that the component is kept in old bugs, but cannot be used for new ones. JMarc
