Skip to content

Instantly share code, notes, and snippets.

View davidjgraph's full-sized avatar
🏠
Typing...

David Benson davidjgraph

🏠
Typing...
View GitHub Profile
/**
* $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;
{
"$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
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
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
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
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
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
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
davidjgraph / viewer2.html
Created August 17, 2016 15:51
v2 of the draw.io Confluence Connect viewer
<!DOCTYPE html>
<html>
<head>
<meta charset="UTF-8">
<title>Draw.io Viewer</title>
<style type="text/css">
html, body {
height:100%;
overflow:hidden;
}
/**
* 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