rmkaplan
e40d3311c1
Rmk16 remove tedit special stuff from CLIPBOARD, move it to TEDIT-COMMAND. ( #1676 )
...
* CLIPBOARD: Remove Tedit-specific code
* TEDIT-COMMAND: Add interface to Clipboard
This also implements a different way of dealing with image objects in the selection. Instead of causing an error (since an imageobject can't be printed to the clipboard stream), it tries to put out a useful representation of the object. If the object has a preprint function, it applies that. Otherwise, it prints out the name of the getfn. Other objects can be explored.
2024-04-29 19:44:29 -07:00
..
2023-07-07 11:25:17 -07:00
2024-03-13 11:49:16 -07:00
2024-01-10 10:49:04 -08:00
2024-04-29 19:44:29 -07:00
2023-11-29 14:05:09 -08:00
2023-10-23 21:18:57 -07:00
2023-10-23 21:18:57 -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-11-29 14:05:09 -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
2023-11-20 22:48:37 -08: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
2024-04-29 19:44:29 -07:00
2024-04-29 19:44:29 -07:00
2023-07-07 12:25:18 -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
2023-11-29 14:05:09 -08: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
2024-02-24 19:14:31 -08:00
2024-02-24 19:14:31 -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
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
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-11-29 07:04:58 -08:00
2023-11-29 07:04:58 -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
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
2023-11-29 14:05:09 -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
2024-01-14 17:46:24 -08:00
2024-01-14 17:46:24 -08:00
2023-11-29 14:05:09 -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
2020-11-15 19:22:14 -08:00
2023-11-29 14:05:09 -08:00
2023-11-29 14:05:09 -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-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
2023-11-29 14:05:09 -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
2023-11-29 14:05:09 -08:00
2024-02-20 15:16:55 -08:00
2024-02-20 15:16:55 -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-11-29 14:05:09 -08:00
2023-11-29 07:04:58 -08:00
2023-11-29 07:04:58 -08:00
2023-11-29 07:14:00 -08:00
2023-11-29 07:14:00 -08: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
2023-11-29 14:05:09 -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
2020-11-15 19:22:14 -08:00
2023-11-29 14:05:09 -08:00
2023-01-16 00:36:39 -08:00
2023-01-16 00:36:39 -08:00
2023-11-29 14:05:09 -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
2024-02-28 18:33:28 -08:00
2024-02-28 18:33:28 -08:00
2023-11-29 14:05:09 -08:00
2023-07-18 13:39:49 -07:00
2023-11-29 14:05:09 -08:00
2022-08-12 11:23:40 -07:00
2022-08-12 11:23:40 -07:00
2023-11-29 14:05:09 -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
2024-04-01 20:49:06 -07:00
2024-04-01 20:49:06 -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
2024-04-01 15:03:45 -07:00
2024-04-01 15:03:45 -07:00
2024-04-01 15:03:45 -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-11-13 13:04:16 -08:00
2023-11-13 13:04:16 -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