Gui.php

<?php
/*
Copyright 2014-2019 Ondrej Novy

This file is part of otodo.

otodo is free software: you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation, either version 3 of the License, or
(at your option) any later version.

otodo is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

You should have received a copy of the GNU General Public License
along with otodo.  If not, see <http://www.gnu.org/licenses/>.
*/

class Gui {
	private $todos;
	private $filteredTodos;
	private $sort;
	private $sorts = array();
	private $message = '';
	private $lastLineNumber = null;
	private $search = null;
	private $readLine = null;
	private $lastTodoMtime = 0;
	private $pageOffset = 0;
	private $idLineIndex = array();
	private $lastHighlight = 0;
	private $disablePaintHighlight = false;
	private $columns = array(
		'num' => array(
			'title' => '#',
			'padTitle' => STR_PAD_BOTH,
			'padValue' => STR_PAD_LEFT,
			'shorten' => false,
		),
		'done' => array(
			'title' => 'D',
			'padTitle' => STR_PAD_RIGHT,
			'padValue' => STR_PAD_RIGHT,
			'shorten' => false,
		),
		'doneDate' => array(
			'title' => 'Done date',
			'padTitle' => STR_PAD_RIGHT,
			'padValue' => STR_PAD_RIGHT,
			'shorten' => false,
		),
		'priority' => array(
			'title' => 'P',
			'padTitle' => STR_PAD_RIGHT,
			'padValue' => STR_PAD_RIGHT,
			'shorten' => false,
		),
		'creationDate' => array(
			'title' => 'Created',
			'padTitle' => STR_PAD_RIGHT,
			'padValue' => STR_PAD_RIGHT,
			'shorten' => false,
		),
		'text' => array(
			'title' => 'Text',
			'padTitle' => STR_PAD_RIGHT,
			'padValue' => STR_PAD_RIGHT,
			'shorten' => true,
		),
		'due' => array(
			'title' => 'Due date',
			'padTitle' => STR_PAD_RIGHT,
			'padValue' => STR_PAD_RIGHT,
			'shorten' => false,
		),
		'rec' => array(
			'title' => 'Rec.',
			'padTitle' => STR_PAD_RIGHT,
			'padValue' => STR_PAD_RIGHT,
			'shorten' => false,
		),
		'projects' => array(
			'title' => 'Projects',
			'padTitle' => STR_PAD_RIGHT,
			'padValue' => STR_PAD_RIGHT,
			'shorten' => true,
		),
		'contexts' => array(
			'title' => 'Contexts',
			'padTitle' => STR_PAD_RIGHT,
			'padValue' => STR_PAD_RIGHT,
			'shorten' => true,
		),
		'id' => array(
			'title' => 'ID',
			'padTitle' => STR_PAD_RIGHT,
			'padValue' => STR_PAD_RIGHT,
			'shorten' => false,
		),
	);

	public function __construct() {
		$this->sorts = Config::$config['gui']['sort'];
		if (!is_array($this->sorts)) {
			$this->sorts = array($this->sorts);
		}
		$this->loadIgnoreNotExists();
		$this->nextSort();
		$this->todos->sort($this->sort);
	}

	protected function getTodoMtime() {
		clearstatcache();
		return filemtime(Config::$config['core']['todo_file']);
	}

	protected function load() {
		$this->todos = new TodosEx();
		$this->todos->loadFromFile(Config::$config['core']['todo_file']);
		$this->lastTodoMtime = $this->getTodoMtime();
		if ($this->sort) {
			$this->todos->asort($this->sort);
		}
		$this->backup();
	}

	protected function loadIgnoreNotExists() {
		try {
			$this->load();
		} catch (TodosLoadException $tle) {
			// File doesn't exists or isn't readable,
			// ignore it, but inform user
			$this->error($tle->getMessage());
			// Create empty todo file
			$this->todos = new TodosEx();
			$this->save();
		}
	}

	protected function loadIfChanged() {
		$mtime = $this->getTodoMtime();
		if ($mtime != $this->lastTodoMtime) {
			$this->load();
			$this->notice('Todo file changed, reloading');
		}
	}

	protected function changed() {
		$mtime = $this->getTodoMtime();
		if ($mtime != $this->lastTodoMtime) {
			$this->error('Todo file change collision, your change not saved');
			$this->load();
			return false;
		} else {
			$this->todos->asort($this->sort);
			$this->save();
			return true;
		}
	}

	protected function save() {
		$this->todos->saveToFile(Config::$config['core']['todo_file']);
		$this->lastTodoMtime = $this->getTodoMtime();
		$this->backup();
	}

	protected function backup() {
		$dir = Config::$config['core']['backup_dir'];
		if ($dir) {
			$source = Config::$config['core']['todo_file'];
			Todos::backup($source, $dir);
		}
	}

	protected function nextSort() {
		$sort = array_shift($this->sorts);
		array_push($this->sorts, $sort);
		$this->parseSortString($sort);
		$this->todos->asort($this->sort);
	}

	protected function parseSortString($string) {
		$sorts = explode(',', $string);
		$this->sort = array();
		foreach ($sorts as $sort) {
			$sort = trim($sort);
			if ($sort[0] == '!') {
				$asc = false;
				$sort = substr($sort, 1);
			} else {
				$asc = true;
			}
			$this->sort[$sort] = $asc;
		}

		return $this->sort;
	}

	protected function parseDate($date) {
		$date = trim($date);
		$dt = false;
		foreach (Config::$config['gui']['date_format_in'] as $format) {
			$dt = DateTime::createFromFormat('!' . $format, $date);
			if ($dt !== false) {
				if ($dt->format('Y') == 1970) {
					$dt = DateTime::createFromFormat($format, $date);
					$dt->modify('00.00.00');
					$now = new DateTime('today');
					$now->modify('00.00.00');
					$i = $dt->diff($now);
					if ($i->days > 0 && $i->invert == 0) {
						$dt->modify('+1 year');
					}
				}

				break;
			}
		}
		if ($dt === false) {
			if ($date == '') {
				$dt = new DateTime('today');
			} elseif (preg_match('/^\+?(\d+)(d|m|w|y)?$/', $date, $matches)) {
				if (!isset($matches[2])) {
					$matches[2] = 'd';
				}
				switch ($matches[2]) {
					case 'd':
						$m = 'day';
					break;
					case 'm':
						$m = 'month';
					break;
					case 'w':
						$m = 'week';
					break;
					case 'y':
						$m = 'year';
					break;
					// @codeCoverageIgnoreStart
					default:
						throw new DateParseException($date);
					break;
					// @codeCoverageIgnoreEnd
				}
				$dt = new DateTime('today');
				$dt->modify('+' . $matches[1] . ' ' . $m);
			} elseif (preg_match('/^(\d+)\.$/', $date, $matches)) {
				$dt = new DateTime(date('Y-m-' . $matches[1]));
				$dt->modify('00.00.00');
				$now = new DateTime('today');
				$i = $dt->diff($now);
				if ($i->days > 0 && $i->invert == 0) {
					$dt->modify('+1 month');
				}
			} else {
				throw new DateParseException($date);
			}
		}

		return $dt;
	}

	protected function getLineNumber($cmd) {
		$num = substr($cmd, 1);
		if (!is_numeric($num)) {
			if ($this->lastLineNumber !== null && $num == 'l') {
				$num = $this->lastLineNumber;
			} else if (count($this->filteredTodos) == 1) {
				$num = array_keys($this->filteredTodos)[0];
			} else {
				$num = $this->readLine->read('Num: ');
			}
		}
		if ($this->lastLineNumber !== null && $num == 'l') {
			$num = $this->lastLineNumber;
		}
		if (!is_numeric($num)) {
			$this->error('Need todo number');
			return null;
		}
		$num = (int) $num;
		if (!isset($this->todos[$num])) {
			$this->error('Todo ' . $num . ' doesn\'t exists');
			return null;
		}
		$this->lastLineNumber = $num;
		$this->paintHighlight($num);
		$this->disablePaintHighlight = true;
		return $num;
	}

	protected function error($message) {
		$this->message =
			$this->config2color(Config::$config['color']['error']) .
			$message .
			$this->config2color(Config::$config['color']['default']);
	}

	protected function notice($message) {
		$this->message =
			$this->config2color(Config::$config['color']['notice']) .
			$message .
			$this->config2color(Config::$config['color']['default']);
	}

	protected function config2color($color) {
		if (!is_array($color)) {
			$color = array($color);
		}
		$out = '';
		foreach ($color as $l) {
			$out .= "\033[" . $l . "m";
		}
		return $out;
	}

	protected function readlineCompletion($search) {
		$out = array();

		$prep = '';
		while (strlen($search) && !in_array($search[0], array('+', '@'))) {
			$prep .= mb_substr($search, 0, 1);
			$search = mb_substr($search, 1);
		}
		if (empty($search)) {
			return array();
		}

		foreach ($this->todos as $todo) {
			foreach ($todo->projects as $project) {
				if ('+' . mb_substr($project, 0, mb_strlen($search) - 1) == $search) {
					$out[] = $prep . '+' . $project;
				}
			}
			foreach ($todo->contexts as $context) {
				if ('@' . mb_substr($context, 0, mb_strlen($search) - 1) == $search) {
					$out[] = $prep . '@' . $context;
				}
			}
		}
		return array_unique($out);
	}

	protected function paintHighlight($line) {
		if ($this->disablePaintHighlight) {
			return;
		}

		// Clear last highlight
		if ($this->lastHighlight !== null) {
			$i = $this->lastHighlight;
			echo "\0337";
			if ($i % 2 == 0) {
				echo $this->config2color(Config::$config['color']['todo_odd']);
			} else {
				echo $this->config2color(Config::$config['color']['todo_even']);
			}
			if ($this->pageOffset) {
				$i++;
			}
			$columns = Config::$config['gui']['columns'];
			$x = 1;
			foreach ($columns as $k=>$l) {
				echo "\033[" . $i . ";" . $x . "H";
				echo ' ';
				$x += $this->columnsLength[$l] + 3;
			}
			echo "\0338";
			echo $this->config2color(Config::$config['color']['default']);
			$this->lastHighlight = null;
		}

		// New highlight
		if (strlen($line) > 0 && preg_match('/(\d+|l)?$/', $line, $m)) {
			$num = null;
			if (!isset($m[1]) && count($this->filteredTodos) == 1) {
				$num = array_keys($this->filteredTodos)[0];
			} elseif (isset($m[1]) && $m[1] == 'l' && $this->lastLineNumber !== null) {
				$num = $this->lastLineNumber;
			} elseif (isset($m[1]) && is_numeric($m[1])) {
				$num = (int) $m[1];
			}

			if ($num === null) {
				return;
			}

			if (isset($this->idLineIndex[$num])) {
				$highlight = $this->idLineIndex[$num] + 2;
				$this->lastHighlight = $highlight;
				echo "\0337";
				if ($highlight % 2 == 0) {
					echo $this->config2color(Config::$config['color']['todo_odd']);
				} else {
					echo $this->config2color(Config::$config['color']['todo_even']);
				}
				if ($this->pageOffset) {
					$highlight++;
				}
				$columns = Config::$config['gui']['columns'];
				$x = 1;
				foreach ($columns as $k=>$l) {
					echo "\033[" . $highlight . ";" . $x . "H";
					echo '▶';
					$x += $this->columnsLength[$l] + 3;
				}
				echo "\0338";
				echo $this->config2color(Config::$config['color']['default']);
			}
		}
	}

	protected function columnValue($k, $column) {
		$todo = $this->todos[$k];

		$val = '';
		switch ($column) {
			case 'num':
				$val = $k;
			break;
			case 'done':
				if ($todo->done) {
					$val = 'X';
				}
			break;
			case 'due':
			case 'creationDate':
			case 'doneDate':
				if ($todo->$column) {
					$val = $todo->$column->format(Config::$config['gui']['date_format_out']);
				}
			break;
			case 'rec':
				if ($todo->rec) {
					$val = $todo->rec->toString();
				}
			break;
			case 'projects':
			case 'contexts':
				$val = implode(', ', $todo->$column);
			break;
			case 'text':
			case 'priority':
			case 'id':
				$val = $todo->$column;
			break;
		}
		return (string) $val;
	}

	protected function printColumn($value, $length, $pad) {
		if (mb_strlen($value) > $length) {
			echo ' ' . mb_substr(
				$value,
				0,
				$length
			) . '→';
		} else {
			echo ' ' . mb_str_pad(
				$value,
				$length,
				' ',
				$pad
			) . ' ';
		}
	}

	public function start() {
		$this->readLine = new ReadLine();
		$this->readLine->setCompletitionCallback(function($input) {
			return $this->readlineCompletion($input);
		});
		$this->readLine->setPaintCallback(function($line) {
			return $this->paintHighlight($line);
		});
		try {
			$this->readLine->historyLoad(Config::$config['gui']['history_file']);
		} catch (HistoryLoadException $hle) {
			echo $hle->getMessage() . PHP_EOL;
			exit(-1);
		}

		// Clear screen
		echo "\033c";
		while (true) {
			$this->loadIfChanged();
			$this->disablePaintHighlight = false;
			$this->paintHighlight('');

			$search = $this->search;
			if ($search === null) {
				$this->filteredTodos = $this->todos;
			} else {
				$this->filteredTodos = $this->todos->array_filter(function($todo) use ($search) {
					foreach ($search as $s) {
						if ($s['not'] && stripos($todo->text, $s['text']) !== false) {
							return false;
						}
					}
					foreach ($search as $s) {
						if (!$s['not'] && stripos($todo->text, $s['text']) !== false) {
							return true;
						}
					}
					foreach ($search as $s) {
						if (!$s['not']) {
							return false;
						}
					}
					return true;
				});
			}

			// Screen height
			$maxTodos = Term::getTerminalHeight() - 17;
			if ($maxTodos <= 0) {
				echo "\033c";
				echo 'Too small terminal, make it taller' . PHP_EOL;
				sleep(Config::$config['gui']['reload_timeout']);
				continue;
			}

			// Detect max length of every column
			$columns = Config::$config['gui']['columns'];
			$this->columnsLength = array();
			$minLengths = array();
			foreach ($columns as $column) {
				if (!isset($this->columns[$column])) {
					echo 'Unknow column: ' . $column . ', check configuration gui.columns!' . PHP_EOL;
					exit(-1);
				}
				$this->columnsLength[$column] = mb_strlen($this->columns[$column]['title']);
				$minLengths[$column] = $this->columnsLength[$column];
			}
			$pos = 0;
			$skip = $this->pageOffset;
			foreach ($this->filteredTodos as $k=>$todo) {
				while ($skip-- > 0) {
					continue 2;
				}
				$pos++;
				foreach ($columns as $column) {
					$len = mb_strlen($this->columnValue($k, $column));
					if ($len > $this->columnsLength[$column]) {
						$this->columnsLength[$column] = $len;
					}
				}
				if ($pos >= $maxTodos) {
					break;
				}
			}

			// Screen width
			$maxWidth = Term::getTerminalWidth();
			$this->readLine->maxWidth = $maxWidth;
			$width = -1;
			foreach ($this->columnsLength as $length) {
				$width += $length + 3;
			}
			$needShorten = $width - $maxWidth;
			if ($needShorten > 0) {
				// Try to shorten few columns
				$posShortens = array();
				$posShortenSum = 0;
				foreach ($columns as $column) {
					if ($this->columns[$column]['shorten'] && $this->columnsLength[$column] > $minLengths[$column]) {
						$posShortens[$column] = $this->columnsLength[$column] - $minLengths[$column];
						$posShortenSum += $posShortens[$column];
					}
				}
				$shortened = 0;
				foreach ($posShortens as $column=>$posShorten) {
					$shorten = floor((float) $posShorten / (float) $posShortenSum * (float) $needShorten);
					$this->columnsLength[$column] -= $shorten;
					$posShortens[$column] -= $shorten;
					$shortened += $shorten;
				}

				// Fix rounding problem
				foreach ($posShortens as $column=>$posShorten) {
					if ($shortened >= $needShorten) {
						break;
					}
					if ($posShorten <= 0) {
						continue;
					}

					$shorten = 1;
					$this->columnsLength[$column] -= $shorten;
					$posShortens[$column] -= $shorten;
					$shortened += $shorten;
				}

				// Nothing more to shorten
				if ($shortened < $needShorten) {
					echo "\033c";
					echo 'Too small terminal, make it wider' . PHP_EOL;
					sleep(Config::$config['gui']['reload_timeout']);
					continue;
				}
			}

			// Got to the begging of screen
			echo "\033[0;0H";

			// Show columns title
			$first = true;
			foreach ($columns as $column) {
				// Clear line
				echo "\033[K";

				if ($first) {
					$first = false;
				} else {
					echo '|';
				}
				echo $this->config2color(Config::$config['color']['title']);
				$this->printColumn(
					$this->columns[$column]['title'],
					$this->columnsLength[$column],
					$this->columns[$column]['padTitle']
				);
				echo $this->config2color(Config::$config['color']['default']);
			}
			echo PHP_EOL;

			// Show todos
			$pos = 0;
			$skip = $this->pageOffset;
			if ($skip) {
				// Clear line
				echo "\033[K..." . PHP_EOL;
				$maxTodos--;
			}
			$this->idLineIndex = array();
			foreach ($this->filteredTodos as $k=>$todo) {
				while ($skip-- > 0) {
					continue 2;
				}

				// End?
				if ($pos >= $maxTodos) {
					echo "\033[K...";
					break;
				}

				$this->idLineIndex[$k] = $pos;

				// Clear line
				echo "\033[K";

				if ($pos++ % 2 == 0) {
					echo $this->config2color(Config::$config['color']['todo_odd']);
				} else {
					echo $this->config2color(Config::$config['color']['todo_even']);
				}
				$now = new DateTime('today');
				if (!$todo->done && $todo->due !== null) {
					$diff = $todo->due->diff($now);
					if ($diff->days == 0) {
						echo $this->config2color(Config::$config['color']['todo_due_today']);
					} else if (!$diff->invert) {
						echo $this->config2color(Config::$config['color']['todo_after_due']);
					}
				}
				if ($todo->priority !== null) {
					if (isset(Config::$config['color']['todo_prio_' . $todo->priority])) {
						echo $this->config2color(Config::$config['color']['todo_prio_' . $todo->priority]);
					} elseif (isset(Config::$config['color']['todo_prio'])) {
						echo $this->config2color(Config::$config['color']['todo_prio']);
					}
				}

				$first = true;
				foreach ($columns as $column) {
					if ($first) {
						$first = false;
					} else {
						echo '|';
					}
					$this->printColumn(
						$this->columnValue($k, $column),
						$this->columnsLength[$column],
						$this->columns[$column]['padValue']
					);
				}

				echo $this->config2color(Config::$config['color']['default']);
				echo PHP_EOL;

			}

			// Clear rest of screen
			echo "\033[0J";

			echo PHP_EOL;
			echo $this->message . PHP_EOL;

			echo 'c  Create             e  Edit' . PHP_EOL;
			echo 'r  Remove             a  Archive' . PHP_EOL;
			echo 'x  Mark as done       X  Unmark as done' . PHP_EOL;
			echo 'd  Set due date       D  Unset due date' . PHP_EOL;
			echo 'g  Set recurrent      G  Unset recurrent' . PHP_EOL;
			echo 'p  Priority           P  Unset priority' . PHP_EOL;
			echo 'f  Next page          b  Previous page' . PHP_EOL;
			echo 'h  History browser    l  Duplicate' . PHP_EOL;
			echo 's  Sort: ';
			$first = true;
			foreach ($this->sort as $col => $asc) {
				if ($first) {
					$first = false;
				} else {
					echo ', ';
				}
				if (!$asc) {
					echo '!';
				}
				echo $col;
			}
			echo PHP_EOL;
			echo '/  Search';
			if ($this->search !== null) {
				echo ': ';
				$first = true;
				foreach ($this->search as $s) {
					if ($first) {
						$first = false;
					} else {
						echo ', ';
					}
					if ($s['not']) {
						echo '!';
					}
					echo $s['text'];
				}
			}
			echo PHP_EOL;
			echo 'q  Quit' . PHP_EOL;

			$cmd = $this->readLine->read('> ', '', Config::$config['gui']['reload_timeout']);
			if ($this->readLine->timeout) {
				continue;
			}
			$this->message = '';
			$this->readLine->historyAdd($cmd);
			$this->readLine->historySave(Config::$config['gui']['history_file']);
			if ($cmd === '') {
				continue;
			}

			switch ($cmd[0]) {
				// Create new task
				case 'c':
					$text = trim(substr($cmd, 1));
					if (empty($text)) {
						$text = $this->readLine->read('Text: ');
					}
					if ($text === '') {
						$this->error('Need text');
					} else {
						$t = new TodoEx($this->todos);
						$t->text = $text;
						$t->creationDate = new DateTime('today');
						// Detect duplicity
						$dup = $this->todos->searchSimilar($t);
						if ($dup) {
							echo 'Duplicity found: ' . $dup->text . PHP_EOL;
							$confirm = $this->readLine->read('Really add (y/n)? ', 'y');
							if ($confirm !== 'y') {
								$this->error('Todo not added');
								break;
							}
						}

						$this->todos[] = $t;
						$keys = $this->todos->array_keys();
						$this->lastLineNumber = array_pop($keys);
						if ($this->changed()) {
							$this->notice('Todo added');
						}
					}
				break;

				// Edit task
				case 'e':
					$num = $this->getLineNumber($cmd);
					if ($num === null) {
						break;
					}
					$text = $this->readLine->read('Text: ', $this->todos[$num]->text);
					if ($text === '') {
						$this->error('Need text');
					} else {
						$this->todos[$num]->text = $text;
						if ($this->changed()) {
							$this->notice('Todo ' . $num . ' changed');
						}
					}
				break;

				// Remove task
				case 'r':
					$num = $this->getLineNumber($cmd);
					if ($num === null) {
						break;
					}
					$confirm = $this->readLine->read('Do you really want to remove todo ' . $num .' (y/n)? ', 'y');
					if ($confirm === 'y') {
						unset($this->todos[$num]);
						if ($this->changed()) {
							$this->notice('Todo ' . $num . ' removed');
						}
						if ($num === $this->lastLineNumber) {
							$this->lastLineNumber = null;
						}
					} else {
						$this->error('Todo ' . $num . ' NOT removed');
					}
				break;

				// Archive
				case 'a':
					$count = $this->todos->archive(Config::$config['core']['archive_file']);
					if ($count) {
						if ($this->changed()) {
							$this->todos->sort($this->sort);
							$this->notice($count . ' todo(s) archived');
						}
					} else {
						$this->notice('No todos to archive');
					}
				break;

				// Mark as done
				case 'x':
					$num = $this->getLineNumber($cmd);
					if ($num === null) {
						break;
					}
					$this->todos[$num]->markDone();
					if ($this->changed()) {
						$this->notice('Todo ' . $num . ' marked done');
					}
				break;

				// Unmark as done
				case 'X':
					$num = $this->getLineNumber($cmd);
					if ($num === null) {
						break;
					}
					$this->todos[$num]->unmarkDone();
					if ($this->changed()) {
						$this->notice('Todo ' . $num . ' unmarked done');
					}
				break;

				// Set due date
				case 'd':
					$num = $this->getLineNumber($cmd);
					if ($num === null) {
						break;
					}
					$due = null;
					if ($this->todos[$num]->due) {
						$due = $this->todos[$num]->due->format(Config::$config['gui']['date_format_out']);
					}
					$str = $this->readLine->read('Due date: ', $due);
					if ($str === '') {
						$this->todos[$num]->due = null;
						if ($this->changed()) {
							$this->notice('Due date unset for todo ' . $num);
						}
					} else {
						try {
							$dt = $this->parseDate($str);
							$this->todos[$num]->due = $dt;
							if ($this->changed()) {
								$this->notice('Due date set to ' . $dt->format('Y-m-d') . ' for todo ' . $num);
							}
						} catch (DateParseException $dpe) {
							$this->error('Don\'t understand ' . $str);
						}
					}
				break;

				// Unset due date
				case 'D':
					$num = $this->getLineNumber($cmd);
					if ($num === null) {
						break;
					}
					$this->todos[$num]->due = null;
					if ($this->changed()) {
						$this->notice('Due date unset for todo ' . $num);
					}
				break;

				// Recurrent
				case 'g':
					$num = $this->getLineNumber($cmd);
					if ($num === null) {
						break;
					}
					$recurrent = null;
					if ($this->todos[$num]->rec) {
						$recurrent = $this->todos[$num]->rec->toString();
					}
					$str = $this->readLine->read('Recurrent: ', $recurrent);
					if ($str === '') {
						$this->todos[$num]->rec = null;
						if ($this->changed()) {
							$this->notice('Todo ' . $num . ' set not recurrent');
						}
					} else {
						try {
							$r = new Recurrent($str);
							$this->todos[$num]->rec = $r;
							if ($this->changed()) {
								$this->notice('Todo ' . $num . ' set recurrent ' . $r->toString());
							}
						} catch (RecurrentParseException $rpe) {
							$this->error('Don\'t understand ' . $str);
						}
					}
				break;

				// Unset recurrent
				case 'G':
					$num = $this->getLineNumber($cmd);
					if ($num === null) {
						break;
					}
					$this->todos[$num]->rec = null;
					if ($this->changed()) {
						$this->notice('Todo ' . $num . ' set not recurrent');
					}
				break;

				// Sort
				case 's':
				case 'S':
					$this->nextSort();
					$this->notice('Sorting changed');
				break;

				// Search
				case '/':
					$this->pageOffset = 0;
					$search = trim(substr($cmd, 1));
					if (empty($search)) {
						$search = $this->readLine->read('Search: ');
					}
					if ($search === '') {
						$this->search = null;
					} else {
						$search = explode(',', $search);
						$this->search = array();
						foreach ($search as $w) {
							$not = false;
							if ($w[0] === '!') {
								$w = substr($w, 1);
								$not = true;
							}
							$this->search[] = array(
								'not' => $not,
								'text' => trim($w)
							);
						}
					}
				break;

				// Priority
				case 'p':
					$num = $this->getLineNumber($cmd);
					if ($num === null) {
						break;
					}
					$str = $this->readLine->read('Priority: ', $this->todos[$num]->priority);
					if ($str === '') {
						$this->todos[$num]->priority = null;
						if ($this->changed()) {
							$this->notice('Priority unset for todo ' . $num);
						}
					} else if (preg_match('/^[a-zA-Z]$/', $str)) {
						$prio = strtoupper($str);
						$this->todos[$num]->priority = $prio;
						if ($this->changed()) {
							$this->notice('Priority set to ' . $prio . ' for todo ' . $num);
						}
					} else {
						$this->error('Wrong priority ' . $str);
					}
				break;

				// Unset priority
				case 'P':
					$num = $this->getLineNumber($cmd);
					if ($num === null) {
						break;
					}
					$this->todos[$num]->priority = null;
					if ($this->changed()) {
						$this->notice('Priority unset for todo ' . $num);
					}
				break;

				// Duplicate
				case 'l':
					$num = $this->getLineNumber($cmd);
					if ($num === null) {
						break;
					}
					$t = clone $this->todos[$num];
					$this->todos[] = $t;
					if ($this->changed()) {
						$this->notice('Todo ' . $num . ' duplicated');
					}
				break;

				// Next page
				case 'f':
				case 'F':
					if ($this->pageOffset + $maxTodos < count($this->todos)) {
						$this->pageOffset += $maxTodos;
					}
				break;

				// Previous page
				case 'b':
				case 'B':
					$this->pageOffset -= $maxTodos;
					if ($this->pageOffset < 2) {
						$this->pageOffset = 0;
					}
				break;

				// History browser
				case 'h':
				case 'H':
					$diff = new GuiDiff();
					$diff->start();
				break;

				// Quit
				case 'q':
				case 'Q':
					exit();
				break;

				default:
					$this->error('Unknown command: '  . $cmd);
				break;
			}
		}
	}
}