Mike Kormendy mkormendy

This re-styles your sublime text sidebar to be dark, it fits default Monokai theme.

Save the Default.sublime-theme file into packages/Theme - Default, make a backup of your original if you want to be able to go back easily.

Based on:

	# encoding: utf-8

	import sublime, sublime_plugin

	class DetectSpecialCharacters(sublime_plugin.EventListener):
	def on_load(self, view):
	sublime.status_message("detect_special_characters is active")
	def on_modified(self, view):
	# find no-break space
	special_characters = view.find_all(u"\u00A0")

	'use strict';
	var gulp = require('gulp');
	var gutil = require('gulp-util');
	var del = require('del');
	var uglify = require('gulp-uglify');
	var gulpif = require('gulp-if');
	var exec = require('child_process').exec;


	var notify = require('gulp-notify');

	<?php

	add_action('gform_after_submission', 'gfToAcfListToRepeater', 10, 2);
	function gfToAcfListToRepeater($entry, $form)
	{
	foreach ($form['fields'] as $field) {
	if (!($field['type'] == 'post_custom_field' && $field['inputType'] == 'list' && $field['enableColumns'] == true)) {
	continue;
	}
	$id = $field['id'];

	<?php
	/**
	* WordPress Query Comprehensive Reference
	* Compiled by luetkemj - luetkemj.com
	*
	* CODEX: http://codex.wordpress.org/Class_Reference/WP_Query#Parameters
	* Source: https://core.trac.wordpress.org/browser/tags/3.9/src/wp-includes/query.php
	*/

	$args = array(

	tell application "System Events"
	-- get current clipboard contents as a string
	set CurrentClipboard to the clipboard as string

	-- set the clipboad to your password
	set the clipboard to "Y0urVPNPa$$w0rd"

	-- start playing with the VPN
	tell current location of network preferences

	/**
	* WARNING! THIS SNIPPET MAY BE OUTDATED.
	* The latest version of this snippet can be found in the Gravity Wiz Snippet Library:
	* https://github.com/gravitywiz/snippet-library/blob/master/gravity-forms/gw-change-field-id.js
	*/
	/**
	* Gravity Wiz // Gravity Forms // Change Field ID via Browser Console
	*
	* Provides a simple function for changing the ID of a Gravity Forms field via the browser console from the Form Editor page.
	*

	<?php
	echo "<script>console.log($post->ID)</script>";
	?>