From 4f01392de56f44e33a7e0989a340cced73147a5a Mon Sep 17 00:00:00 2001
From: Přemysl Eric Janouch <p@janouch.name>
Date: Mon, 25 Oct 2021 15:54:24 +0200
Subject: Add basic print functionality

Sadly, the line width depends on the widget's DPI, which seems to
even cause uneven lines on Windows, where virtual printers claim
high DPI.  It might also be an unrelated problem.

Similarly, selected objects are exported highlighted.

Other than that, it works quite well.

Add a manifest to make the print dialog look nice with the older
GTK+ bundle we depend upon.

The RC file could theoretically be scanned for /\s+"([^"]+)"\s*$/,
unescaped, and the results configure_file()-stamped.
---
 share/gui/window-main.ui | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

(limited to 'share/gui')

diff --git a/share/gui/window-main.ui b/share/gui/window-main.ui
index 8209cd4..f826698 100644
--- a/share/gui/window-main.ui
+++ b/share/gui/window-main.ui
@@ -6,10 +6,8 @@
 			<menuitem action="Save" />
 			<menuitem action="SaveAs" />
 			<separator />
-<!--
-			<menuitem action="Export" />
+			<menuitem action="Print" />
 			<separator />
--->
 			<menuitem action="Quit" />
 		</menu>
 		<menu action="EditMenu">
-- 
cgit v1.2.3-70-g09d2