Fix duplicate timestamps on selection

Fixes #1226
This commit is contained in:
TingPing 2014-11-30 22:27:00 -05:00
parent 0019af675a
commit 85557f2416

View File

@ -1649,7 +1649,8 @@ gtk_xtext_check_mark_stamp (GtkXText *xtext, GdkModifierType mask)
{ {
gboolean redraw = FALSE; gboolean redraw = FALSE;
if (mask & STATE_SHIFT || prefs.hex_text_autocopy_stamp) if ((mask & STATE_SHIFT || prefs.hex_text_autocopy_stamp)
&& (!prefs.hex_stamp_text || prefs.hex_text_indent))
{ {
if (!xtext->mark_stamp) if (!xtext->mark_stamp)
{ {