Skip to content

Instantly share code, notes, and snippets.

View cmadsen's full-sized avatar

Carsten Madsen cmadsen

  • NAVICON A/S
  • Denmark
View GitHub Profile
@theotherian
theotherian / Spring STOMP chat
Last active December 30, 2023 04:15
Spring STOMP chat
Spring STOMP chat
@andrewharvey
andrewharvey / 3d-nearmap.html
Created September 4, 2011 11:18
A web map based on Polymaps delivering a 3D experience for viewing NearMap aerial imagery
<!--
This page licensed CC0 http://creativecommons.org/publicdomain/zero/1.0/
Some of the javascript code based of examples at http://polymaps.org/ex/
This is just a prototype/technology test. It probably isn't the cleanest solution...
TODO:
* Ctrl + click and drag should rotate the map just like the keys do
* add perspective option
-->
@edpichler
edpichler / Animal.java
Last active February 12, 2024 18:29
Java AWT/Swing with Drag and Drop.
public class Animal {
private String name;
private int age;
public Animal() {
name = "Name " + System.currentTimeMillis();
age = (int) +System.currentTimeMillis();
}
@jagregory
jagregory / gist:710671
Created November 22, 2010 21:01
How to move to a fork after cloning
So you've cloned somebody's repo from github, but now you want to fork it and contribute back. Never fear!
Technically, when you fork "origin" should be your fork and "upstream" should be the project you forked; however, if you're willing to break this convention then it's easy.
* Off the top of my head *
1. Fork their repo on Github
2. In your local, add a new remote to your fork; then fetch it, and push your changes up to it
git remote add my-fork git@github...my-fork.git
@RandomEtc
RandomEtc / README.mkd
Created September 28, 2010 00:11
smooth panning and zooming for polymaps
@jpzwarte
jpzwarte / gist:281250
Created January 19, 2010 20:14
Splitpane using jQuery UI
$('.splitter').draggable({
axis: 'x',
containment: '#content',
distance: 0,
drag: function(event, ui) {
var width = $('#content').width();
$('#content .leftpane').css({ width: ui.position.left + 'px' });
$('#content .rightpane').css({
left: ui.position.left + 1 + 'px',
width: (width - ui.position.left + 1) + 'px'