Re: [ros-kernel] Re: ROS gui

[James M. <jid...@sa...>]

Okay, I was thinking that he was talking about explorer the browser not t=
he=20
shell interface. The shell should be replaceable with something that the =
user=20
wants. It would seem to me that this is a flaw in design, unless you allo=
w=20
things like themes which can change all the button and other widget style=
s=20
along with the window apperance and things of this nature.

James Marjie