Re: [wxMaxima-devel] Re: wxmaxima (translation) issues

[Andrej V. <and...@gm...>]

>  * Change to tabs
>  * User literals maxima commands (i.e. "radcan")
>  * Drop some less needed buttons - especially those which pop up dialogs
>  * Make the buttons in some way user configurable, so that we don't need
>    to figure out what's most sensible ourselves

I like the last option the most. Something like (multiple) palettes
with different buttons on them  which the user can have displayed or
not. Displayed either as a separate floating window or docked in the
main window. However current wxWidgets do not provide such
functionality. We could use wxDockIt [1], which is a simple library
for doing this, or wait for wxWidgets to provide this. I think wxIFM
[2] will be integrated into wxWidgets for the next release.

Andrej

[1] http://wxextended.sourceforge.net/
[2] http://www.snakesoft.net/wxifm/