rmkaplan
995c6de04e
PDFSTREAM: First implementation ( #1260 )
...
* PDFSTREAM: first implementation
Makes PS file, then applies separate utility (if available) to convert PS to PDF
* POSTSCRIPTSTREAM: Adds extra field to postscript data for PDFSTREAM filename
* HARDCOPY: fixes printer menu
* PDFSTREAM: define PDF fonts as POSTSCRIPT fonts
* PDFSTREAM: fix convert template
* PDFSTREAM: Fix logic around closing the postscript sub-stream
* PDF Stream: slight generalization
* PDFSTREAM uses AFTERCLOSE streamprop so doesn't require change to POSTSCRIPTSTREAM
* UNIXUTILS: moved PROCESS-COMMAND and SLASHIT from GITFNS and PSEUDOHOST resp.
PROCESS-COMMAND executes a command in process-stream, like ShellCommand, but returns a completion code and not what happens in the shell. SLASHIT is an approximation (doesn't deal with versions) of converting a Medley file name to its Unix equivalent, to use in commands
* GITFNS: PROCESS-COMMAND moved to UNIXUTILS, cleanups from previous (unexamined) PR
The other PR will be cleaned out
* PSEUDOHOSTS: Moved SLASHIT to UNIXUTILS, also includes minor change in previous (unexamined) PR, to be removed
* PDFSTREAM: wrapped FULLNAME around TRUEFILENAME
* Restore POSTSCRIPTSTREAM
* UNIXUTILS: Added UNIX-FILE-NAME
Produces a Unix filename corresponding to a Medley file name (slashes, version number). For use in ShellCommand an PROCESS-COMMAND.
* PDF-STREAM: added SEE-PDF
A little stub that (on a mac) does a shell command to open Preview on the Unix-named file corresponding to a medley name
(Also added back some key functions that got lost in a bad edit)
* Pick up master changes
---------
Co-authored-by: Larry Masinter <lmm@acm.org>
2023-10-02 12:39:25 -07:00
..
2023-07-07 11:25:17 -07:00
2023-05-16 19:30:15 -07:00
2020-11-20 12:30:56 -08:00
2022-08-10 21:09:12 -07:00
2022-07-09 17:14:34 -07:00
2022-07-09 17:14:34 -07:00
2023-06-30 16:56:54 -07:00
2023-06-30 16:56:54 -07:00
2023-06-30 16:56:54 -07:00
2021-04-28 15:36:03 -07:00
2020-11-15 19:22:14 -08:00
2023-07-07 11:25:17 -07:00
2021-04-28 15:36:03 -07:00
2020-11-15 19:22:14 -08:00
2023-07-07 11:25:17 -07:00
2021-04-28 15:36:03 -07:00
2021-10-21 16:25:16 -07:00
2021-04-28 15:36:03 -07:00
2021-07-29 17:07:23 -07:00
2023-07-07 11:25:17 -07:00
2021-04-28 15:36:03 -07:00
2020-11-15 19:22:14 -08:00
2021-04-28 15:36:03 -07:00
2021-04-28 15:36:03 -07:00
2020-11-15 19:22:14 -08:00
2022-07-15 18:01:30 -07:00
2022-07-15 18:01:30 -07:00
2023-07-07 12:25:18 -07:00
2022-07-17 19:13:25 -07:00
2021-04-28 15:36:03 -07:00
2020-11-15 19:22:14 -08:00
2023-07-07 11:25:17 -07:00
2021-04-28 15:36:03 -07:00
2023-07-07 11:25:17 -07:00
2023-07-07 11:25:17 -07:00
2022-07-03 21:24:36 -07:00
2022-07-26 23:12:42 -07:00
2022-07-03 21:24:36 -07:00
2022-04-24 13:48:23 -07:00
2022-04-24 13:48:23 -07:00
2023-07-07 11:25:17 -07:00
2020-11-15 19:22:14 -08:00
2021-10-27 12:05:15 -07:00
2021-10-27 12:05:15 -07:00
2023-07-07 11:25:17 -07:00
2021-04-28 15:36:03 -07:00
2020-11-15 19:22:14 -08:00
2023-07-07 11:25:17 -07:00
2021-04-28 15:36:03 -07:00
2020-11-15 19:22:14 -08:00
2021-04-28 15:36:03 -07:00
2020-11-15 19:22:14 -08:00
2021-04-28 15:36:03 -07:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2021-04-28 15:36:03 -07:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2021-04-28 15:36:03 -07:00
2021-04-28 15:36:03 -07:00
2020-11-15 19:22:14 -08:00
2023-07-07 11:25:17 -07:00
2021-04-28 15:36:03 -07:00
2020-11-15 19:22:14 -08:00
2023-07-07 11:25:17 -07:00
2021-04-28 15:36:03 -07:00
2020-11-15 19:22:14 -08:00
2023-07-20 22:24:18 -07:00
2023-07-20 22:24:18 -07:00
2023-07-07 11:25:17 -07:00
2021-04-28 15:36:03 -07:00
2020-11-15 19:22:14 -08:00
2023-07-07 11:25:17 -07:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2023-07-07 11:25:17 -07:00
2021-04-28 15:36:03 -07:00
2020-11-15 19:22:14 -08:00
2021-04-28 15:36:03 -07:00
2020-11-15 19:22:14 -08:00
2023-07-07 11:25:17 -07:00
2021-04-28 15:36:03 -07:00
2021-03-15 13:04:02 -07:00
2023-07-07 11:25:17 -07:00
2021-04-28 15:36:03 -07:00
2020-11-15 19:22:14 -08:00
2023-07-07 11:25:17 -07:00
2021-04-28 15:36:03 -07:00
2021-04-28 15:36:03 -07:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2023-07-07 11:25:17 -07:00
2023-07-07 11:25:17 -07:00
2022-07-25 19:12:52 -07:00
2022-07-25 19:12:52 -07:00
2021-04-28 15:36:03 -07:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2021-04-28 15:36:03 -07:00
2021-04-28 15:36:03 -07:00
2020-11-15 19:22:14 -08:00
2021-10-27 16:41:37 -07:00
2022-07-26 23:12:42 -07:00
2021-04-28 15:36:03 -07:00
2020-11-15 19:22:14 -08:00
2022-07-20 23:36:32 -07:00
2021-10-27 16:41:37 -07:00
2022-07-03 21:24:36 -07:00
2021-04-28 15:36:03 -07:00
2021-07-29 17:07:23 -07:00
2021-07-29 17:07:23 -07:00
2023-07-07 11:25:17 -07:00
2021-04-28 15:36:03 -07:00
2020-11-15 19:22:14 -08:00
2021-04-28 15:36:03 -07:00
2020-11-15 19:22:14 -08:00
2023-07-07 11:25:17 -07:00
2021-12-26 18:47:02 -08:00
2021-12-26 18:47:02 -08:00
2022-11-02 11:59:39 -07:00
2022-11-02 11:59:39 -07:00
2021-04-28 15:36:03 -07:00
2020-11-15 19:22:14 -08:00
2021-04-28 15:36:03 -07:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2023-10-02 12:39:25 -07:00
2023-10-02 12:39:25 -07:00
2021-07-29 17:07:23 -07:00
2021-07-29 17:07:23 -07:00
2021-09-11 17:07:57 -07:00
2023-04-18 14:57:41 -07:00
2023-04-18 14:57:41 -07:00
2021-04-28 15:36:03 -07:00
2020-11-15 19:22:14 -08:00
2023-07-07 11:25:17 -07:00
2021-04-28 15:36:03 -07:00
2020-11-15 19:22:14 -08:00
2023-01-16 00:36:39 -08:00
2023-01-16 00:36:39 -08:00
2021-04-28 15:36:03 -07:00
2020-11-15 19:22:14 -08:00
2021-04-28 15:36:03 -07:00
2021-07-29 17:07:23 -07:00
2022-08-12 11:23:40 -07:00
2022-08-12 11:23:40 -07:00
2021-04-28 15:36:03 -07:00
2020-11-15 19:22:14 -08:00
2021-08-24 16:42:14 -07:00
2021-08-24 16:42:14 -07:00
2022-08-12 11:23:40 -07:00
2022-08-12 11:23:40 -07:00
2022-07-17 13:04:43 -07:00
2022-07-17 13:04:43 -07:00
2023-07-19 19:11:17 -07:00
2023-07-19 19:11:17 -07:00
2021-04-28 15:36:03 -07:00
2020-11-15 19:22:14 -08:00
2023-07-30 11:35:23 -07:00
2023-07-30 11:35:23 -07:00
2023-07-18 13:39:49 -07:00
2022-08-12 11:23:40 -07:00
2022-08-12 11:23:40 -07:00
2023-07-07 11:25:17 -07:00
2021-04-28 15:36:03 -07:00
2020-11-15 19:22:14 -08:00
2023-07-07 11:25:17 -07:00
2022-07-17 05:55:03 -07:00
2022-07-17 05:55:03 -07:00
2023-07-07 11:25:17 -07:00
2021-04-28 15:36:03 -07:00
2020-11-15 19:22:14 -08:00
2023-07-07 11:25:17 -07:00
2021-04-28 15:36:03 -07:00
2020-11-15 19:22:14 -08:00
2023-07-20 22:24:18 -07:00
2023-07-20 22:24:18 -07:00
2021-07-29 17:07:23 -07:00
2021-04-28 15:36:03 -07:00
2020-11-15 19:22:14 -08:00
2023-07-07 11:25:17 -07:00
2022-12-23 11:37:23 -08:00
2022-12-23 11:37:23 -08:00
2023-07-07 11:25:17 -07:00
2023-01-30 22:19:07 -08:00
2023-01-30 22:19:07 -08:00
2021-03-10 13:59:38 -08:00
2021-10-01 15:55:46 -07:00
2021-10-01 15:55:46 -07:00
2023-09-27 10:41:01 -07:00
2023-09-27 10:41:01 -07:00
2023-07-07 11:25:17 -07:00
2021-04-28 15:36:03 -07:00
2020-11-15 19:22:14 -08:00
2021-04-28 15:36:03 -07:00
2020-11-15 19:22:14 -08:00
2022-08-12 22:01:04 -07:00
2022-08-12 22:01:04 -07:00
2023-07-07 11:41:56 -07:00
2023-07-07 11:41:56 -07:00
2023-07-07 11:25:17 -07:00