patchGNU TeXmacs - Patches: patch #9990, Menu: Clear font cache

 
 

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

patch #9990: Menu: Clear font cache

Submitter:  Darcy Shen <sadhen>
Submitted:  Sun 08 Nov 2020 04:18:57 AM UTC
   
 
Category:  User Interface Action:  Done
Privacy:  Public Assigned to:  vdhoeven
Open/Closed:  Closed Release: 
Fixed Release:  Stable: 

Sun 10 Jan 2021 07:03:08 AM UTC, comment #2: 

The original diff is outdated. And the patch has been applied.

Darcy Shen <sadhen>
Group Member
Sun 08 Nov 2020 04:29:16 AM UTC, comment #1: 

Here is the diff:
https://gitee.com/texmacs/texmacs/pulls/1.diff

(Github is too slow for me without VPN, please tell me if the url to diff is not accessible)

## What

A menu entry to clear font cache.

Under Windows/macOS it is not friendly for people to run the command line:


texmacs --delete-font-cache


Darcy Shen <sadhen>
Group Member
Sun 08 Nov 2020 04:18:57 AM UTC, original submission:  


Darcy Shen <sadhen>
Group Member

 

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

Attached Files
file #50225:  9990.diff added by sadhen (2KiB - text/x-patch - The diff file)

 

Depends on the following items: None found

Items that depend on this one: None found

 

Carbon-Copy List
  • -email is unavailable- added by vdhoeven (Updated the item)
  • -email is unavailable- added by sadhen (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 3 latest changes.

    Date Changed by Updated Field Previous Value => Replaced by
    2021-03-06 vdhoeven ActionNone Done
        Open/ClosedOpen Closed
    2020-11-08 sadhen Attached File- Added 9990.diff, #50225

    Back to the top

    Powered by Savane 3.13-f8d8.
    Corresponding source code