Skip to content

Instantly share code, notes, and snippets.

View benediktarnold's full-sized avatar

Benedikt Arnold benediktarnold

View GitHub Profile
// Available variables:
// - Machine
// - interpret
// - assign
// - send
// - sendParent
// - spawn
// - raise
// - actions
@benediktarnold
benediktarnold / html_strip.sh
Created April 3, 2017 10:56
Reproduce bug in elasticsearch regarding html_strip in combination with highlighting
curl -XDELETE http://localhost:9200/test
curl -XPUT http://localhost:9200/test -d '{
"settings":{
"analysis":{
"analyzer":{
"my_analyzer":{
"type":"custom",
"tokenizer":"standard",
"char_filter": ["my_char_filter"]
@benediktarnold
benediktarnold / github.css
Created October 6, 2012 23:30 — forked from andyferra/github.css
Github Markdown CSS - for Markdown Editor Preview
body {
font-family: Helvetica, arial, sans-serif;
font-size: 14px;
line-height: 1.6;
padding-top: 10px;
padding-bottom: 10px;
background-color: white;
padding: 30px; }
body > *:first-child {
@benediktarnold
benediktarnold / combo.html
Created May 21, 2012 12:23
YUI3 Example: How to use autocomplete-list as a combobox
<!doctype html>
<html>
<head>
<title>
</title>
<script src="http://yui.yahooapis.com/3.5.1/build/yui/yui-min.js">
</script>
<link rel="stylesheet" type="text/css" href="css/combo.css">
</head>
@benediktarnold
benediktarnold / sortable-yui3-tab.html
Created May 4, 2012 07:44
In this example you can see a sortable yui3 tabview with drag and drop.
<!doctype html>
<html>
<head>
<title>
</title>
<script src="http://yui.yahooapis.com/3.5.0/build/yui/yui-min.js">
</script>
</head>
@benediktarnold
benediktarnold / parent_panel.html
Created April 26, 2012 08:48
If you want a yui Panel act as a WidgetParent there is a problem rendering the child Widgets in the in the right parent node. The default location is the panel's contentBox, but in general you want it in the panel's body.
<!doctype html>
<html>
<head>
<title></title>
<script src="http://yui.yahooapis.com/3.5.0/build/yui/yui-min.js"></script>
</head>
<body class="yui3-skin-sam">
<script type="text/javascript">
// Create a new YUI instance and populate it with the required modules.
YUI({filter:'RAW'}).use(['tabview','panel'], function (Y) {