Skip to content

Instantly share code, notes, and snippets.

View dashorst's full-sized avatar

Martijn Dashorst dashorst

View GitHub Profile
@dashorst
dashorst / boemisho.py
Created February 15, 2019 10:43
BOEM IS HO!
from turtle import Turtle, Screen
# Dit is het BOEM IS HO! spelletje
#
# Je kan de turtle van speler 1 (de blauwe schildpad) besturen met
# de A en S toetsen.
#
# Na een tijdje wordt je achterna gezeten door een monster die je
# probeert op te eten. Probeer dat monster dus voor te blijven!
#
@dashorst
dashorst / A.java
Last active August 23, 2019 14:07
private class JPA {
public List<Lichting> lichtingenVan(Onderwijssoort eenOnderwijssoort, Schooljaar vanafSchooljaar,
Schooljaar totSchooljaar, int eenLeerjaar) {
CriteriaBuilder cb = em.getCriteriaBuilder();
CriteriaQuery<Lichting> cq = cb.createQuery(Lichting.class);
Root<Lichting> l = cq.from(Lichting.class);
Subquery<Long> sq = cq.subquery(Long.class);
Root<LichtingSchooljaar> ls = sq.from(LichtingSchooljaar.class);
@dashorst
dashorst / pom.xml
Created April 2, 2020 12:02
Example of automatically downloading Eclipse settings using Maven
<plugin>
<groupId>org.eclipse.scout</groupId>
<artifactId>eclipse-settings-maven-plugin</artifactId>
<version>3.0.3</version>
<configuration>
<downloadSources>true</downloadSources>
<downloadJavadoc>false</downloadJavadoc>
<additionalConfig>
<file>
<name>.settings/edu.umd.cs.findbugs.plugin.eclipse.prefs</name>
@dashorst
dashorst / toolchains.xml
Created November 19, 2021 13:37
Toolchains.xml example
<?xml version="1.0" encoding="UTF8"?>
<toolchains>
<toolchain>
<type>jdk</type>
<provides>
<version>11</version>
<vendor>adoptium</vendor>
</provides>
<configuration>
<jdkHome>/home/username/.sdkman/candidates/java/11.0.12-tem</jdkHome>
[INFO] ------------------------------------------------------------------------
[INFO] Reactor Summary for WicketStuff Core Parent 9.6.0:
[INFO]
[INFO] WicketStuff Core Parent ............................ SUCCESS [ 0.419 s]
[INFO] Wicketstuff Offline Mode Parent .................... SUCCESS [ 0.126 s]
[INFO] Wicketstuff Offline Mode ........................... SUCCESS [ 29.179 s]
[INFO] Wicketstuff Offline Mode Examples .................. SUCCESS [ 14.117 s]
[INFO] Wicketstuff Nashorn Parent ......................... SUCCESS [ 0.171 s]
[INFO] Wicketstuff Nashorn ................................ SUCCESS [ 50.412 s]
[INFO] Wicketstuff Nashorn Examples ....................... SUCCESS [ 11.837 s]
@dashorst
dashorst / App.html
Created December 4, 2022 15:43
ReactJS ToDo application rewritten in Wicket Java and HTML
<html xmlns:wicket="http://wicket.apache.org">
<body>
<h1 wicket:id="title" class="text-center mb-4"></h1>
<form wicket:id="formTodoForm">
<label wicket:id="formTodoLabel"><b>Add Todo</b></label>
<input type="text" wicket:id="textField" class="input" placeholder="Add new todo" />
<button wicket:id="submit" type="submit">Submit</button>
</form>
<div>
<ul>