leb2

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

gulp.task('latex', function() {
    return gulp.src('*.tex')
    .pipe(shell(["pdflatex -interaction=nonstopmode <%= file.path %>"]).on('error', function(){}))
    .pipe(gulp.dest('./'))
});

gulp.task('watch', function() {

leb2

import random


time_chances = [
    (0, 0.10),
    (1, 0.15),
    (2, 0.10),
    (3, 0.35),
    (4, 0.25),
    (5, 0.05)

leb2

var MARGIN = 28;

// Fullscreen
slate.bind('f:cmd,alt', function(win) {
    // ±4 to account for hidden Dock on left of screen.
    win.doOperation(S.op('move', {
		'x': 'screenOriginX - 4 + ' + MARGIN,
		'y': 'screenOriginY + ' + MARGIN,