[gtksourceview] Add API to enable/disable search highlighting

From: Sébastien Wilmet <swilmet src gnome org>
To: commits-list gnome org
Cc:
Subject: [gtksourceview] Add API to enable/disable search highlighting
Date: Fri, 12 Jul 2013 20:42:43 +0000 (UTC)

Summary of changes:

  9733744... Add API to enable/disable search highlighting (*)

(*) This commit already existed in another branch; no separate mail sent

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