Обновление прошло гладко, но все мои сохраненные сеансы из gedit в 13.04 исчезли. Я пытаюсь выяснить, не были ли они просто не готовы к прайм-тайм и были опущены или это системная проблема. Когда я захожу в плагины настроек, я не вижу сессию в списке как плагин для включения.
см. Здесь о плагине сессии
https://git.gnome.org/browse/gedit-plugins/commit/?id=7abf46cf9c6e3f12798e813ffeac28e3594167f0
Вы могли посмотрите на это, если склонны