[gnome-builder] (7 commits) Created branch wip/chergert/editorsearch

From: Christian Hergert <chergert src gnome org>
To: commits-list gnome org
Cc:
Subject: [gnome-builder] (7 commits) Created branch wip/chergert/editorsearch
Date: Tue, 10 Oct 2017 22:03:19 +0000 (UTC)

The branch 'wip/chergert/editorsearch' was created.

Summary of new commits:

  77ce472... editor: add new IdeEditorSearch abstraction
  16c502e... style-scheme: tweak dark style line numbers and space marks
  4aae9dd... editor: only move search if we haven't yet advanced
  1fef172... editor: use DZL_DEFINE_ACTION_GROUP
  2297d9b... editor: include editor-search actions group
  79b6297... action-group: remove old code
  1b25247... editor: improve search movements

[Date Prev][Date Next] [Thread Prev][Thread Next] [Thread Index] [Date Index] [Author Index]