possibility of making wxMaxima the default GUI (instead of Xmaxima)
Subject: possibility of making wxMaxima the default GUI (instead of Xmaxima)
From: Andrej Vodopivec
Date: Sun, 26 Mar 2006 12:24:26 -0800
> Hi Andrej!
>
> I have some question related to more tight wxMaxima-Maxima integration.
> As far as I understand wxMaxima packages private copy om Maxima HTML
> documentation. Is it true or I'm mistaken? If so then maybe is a good
> idea to change this behavior. I understand that searching for docs
> in foreign package it is extra trouble. But I'm sure that we can
> resolve all problems.
Currently wxMaxima includes private copy of documentation. It would be
possible to use HTML files installed by maxima. But maxima would need
to install three more index files which are used by help dialog. I use
a python script to generate them from maxima_toc.html file.
Andrej