patchGNU TeXmacs - Patches: patch #10164, Giac plugin updates


You are not allowed to post comments on this tracker with your current authentication level.

patch #10164: Giac plugin updates

Submitter:  Luka Marohnić <luka>
Submitted:  Thu 23 Dec 2021 11:55:48 AM UTC
Category:  Plugins Action:  Done
Privacy:  Public Assigned to:  vdhoeven
Open/Closed:  Closed Release: 
Fixed Release:  Stable: 

Wed 16 Mar 2022 04:21:39 PM UTC, comment #2: 

I also had to fix an annoying problem: see revision 13851.
Please keep this in mind when posting further updates.

Joris van der Hoeven <vdhoeven>
Project Administrator
Wed 16 Mar 2022 04:11:56 PM UTC, comment #1: 

Hi Luka,

Thanks for the updates which look very nice.
I applied them in revisions 13848-13850.

Yes, I have the same problem with the images.
I solved as last time; I will dig into this later.

Best wishes, --Joris

Joris van der Hoeven <vdhoeven>
Project Administrator
Thu 23 Dec 2021 11:55:48 AM UTC, original submission:  


I have improved the giac plugin, the enclosed files contain the changes that should be updated.

The new version enables giac as a scripting language and features a better giac menu. There are also changes in the style file.

Giac demo session is updated and now contains embedded PDF images (total size is a little over 200K). However there is a problem with images: when is loaded in texmacs as an ordinary file, it is displayed correctly, but when accessed from the Help->Plugins menu, texmacs complains and does not load image content. Is this a bug? If not, please consider exporting images from to separate files, as before.


Luka Marohnić <luka>


(Note: upload size limit is set to 16384 kB, after insertion of the required escape characters.)

Attached Files
file #52559: added by luka (110KiB - application/zip)


Depends on the following items: None found

Items that depend on this one: None found


Carbon-Copy List
  • -email is unavailable- added by vdhoeven (Posted a comment)
  • -email is unavailable- added by luka (Submitted the item)

    There are 0 votes so far. Votes easily highlight which items people would like to see resolved in priority, independently of the priority of the item set by tracker managers.




    Follow 4 latest changes.

    Date Changed by Updated Field Previous Value => Replaced by
    2022-03-16 vdhoeven ActionUpdate Done
        Assigned toNone vdhoeven
        Open/ClosedOpen Closed
    2021-12-23 luka Attached File- Added, #52559

    Back to the top

    Powered by Savane 3.9