David Benson davidjgraph

🏠

Typing...

davidjgraph / gist:9e19257bfc0d0535db0d6ab601d649dd

Created August 31, 2023 08:29

	/**
	* $Id: ProxyServlet.java,v 1.4 2013/12/13 13:18:11 david Exp $
	* Copyright (c) 2011-2012, JGraph Ltd
	*/
	package com.mxgraph.online;

	import java.io.IOException;
	import java.io.InputStream;
	import java.io.PrintWriter;
	import java.io.Serializable;

davidjgraph / manifest.json

Created May 25, 2022 11:34

	{
	"$schema": "https://developer.microsoft.com/en-us/json-schemas/teams/v1.10/MicrosoftTeams.schema.json",
	"manifestVersion": "1.10",
	"version": "1.0.13",
	"id": "xxx",
	"packageName": "com.mxgraph.teamsApp",
	"developer": {
	"name": "JGraph",
	"websiteUrl": "https://www.diagrams.net",
	"privacyUrl": "https://www.diagrams.net/trust/privacy-microsoft-teams",

davidjgraph / drawio-drive-setup.txt

Created September 10, 2019 10:54

Instructions to setup custom Google Drive project with draw.io

	- Go to https://console.cloud.google.com and create new project
	- In new project select APIs and services
	- Click "ENABLE APIS AND SERVICES"
	- Search for "drive" and click "Google Drive API", then "Enable"

davidjgraph / jspdftest.html

Created March 29, 2017 15:37

test code for jspdf.js

	// Exports the graph to a PDF and displays it in a new tab via data URL
	function exportPdf(graph)
	{
	// Prepare document
	var pdfCanvas = new jsPDF();
	pdfCanvas.scale(1 / graph.pageScale);

	// Render graph
	var imgExport = new mxImageExport();
	imgExport.includeOverlays = true;

davidjgraph / jspdf.js

Created March 29, 2017 15:36

mxGraph test PDF generation client-side


	/**
	* jsPDF
	*
	* Open Issues:
	*
	* - HTML rendering
	* - Add rotation
	* - Add support for dash patterns
	* - Add clipped/vertical (PDF) labels

davidjgraph / vsdxBatchConvert.java

Created February 2, 2017 14:46

	import java.io.File;
	import java.io.FilenameFilter;
	import java.io.IOException;
	import java.io.PrintWriter;
	import java.nio.file.Files;
	import java.util.Arrays;

	import javax.swing.JFileChooser;
	import javax.xml.parsers.ParserConfigurationException;
	import javax.xml.transform.TransformerException;

davidjgraph / encodeURIComponent.java

Last active November 10, 2016 21:30

encodeURIComponent in Java

	// Starting from https://sangupta.com/tech/encodeuricomponent-and.html
	public static final String ALLOWED_CHARS = "abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNOPQRSTUVWXYZ0123456789-_.!~*'()";

	public static String encodeURIComponent2(String input, String charset)
	{
	if (input.isEmpty())
	{
	return input;
	}

davidjgraph / PropGenConvertor.java

Created September 7, 2016 07:56

Some variation of the propgen class, but never used any more

	package com.mxgraph.properties;

	import java.io.BufferedReader;
	import java.io.BufferedWriter;
	import java.io.File;
	import java.io.FileInputStream;
	import java.io.FileOutputStream;
	import java.io.IOException;
	import java.io.InputStreamReader;
	import java.io.OutputStreamWriter;

davidjgraph / viewer2.html

Created August 17, 2016 15:51

v2 of the draw.io Confluence Connect viewer

davidjgraph / mxPerimeter.js

Created March 17, 2016 13:51

	/**
	* Copyright (c) 2006-2015, JGraph Ltd
	* Copyright (c) 2006-2015, Gaudenz Alder
	*/
	var mxPerimeter =
	{
	/**
	* Class: mxPerimeter
	*
	* Provides various perimeter functions to be used in a style