On Tuesday 08 November 2011 23:15:15 David López wrote:
> However I'd expect that I can open them with wxmaxima at least with
> right click in a wxmx file, but wxmaxima is not in the 'open with
> another application' menu in nautilus, and I think this is a bug.
Thanks for your report, I've forward
Public bug reported:
wxmaxima saves sessions in wxmx files. This files are identified as zip
files and opened with file-roller in nautilus (I would prefer wxmaxima
instead of file-roller, but it's not a bad idea because I think wxmx
files are only xml files with zip compression, so this is not a b
