RE: release-1-5 theme.ui needs a 'Initialize' symbol

[ijr]

theme.ui's completely nonfunctional just yet, so it's allowed to not work and
stuff =)

Isaac

On 31-Aug-99 Tom Spindler wrote:
> That's pretty much about it. theme.ui needs 'Initialize', or the loader
> (and gdb) get cranky.
>