# HG changeset patch # User ymh # Date 1343898095 -7200 # Node ID c1529d8212637102b2c1de207ba5cb0eb382a6fa # Parent 4f4005df9a97c752de0da21b02f2067ffa20b282 correct highlight diff -r 4f4005df9a97 -r c1529d821263 src/ldt/ldt/ldt_utils/views/workspace.py --- a/src/ldt/ldt/ldt_utils/views/workspace.py Thu Aug 02 08:45:12 2012 +0200 +++ b/src/ldt/ldt/ldt_utils/views/workspace.py Thu Aug 02 11:01:35 2012 +0200 @@ -219,6 +219,7 @@ segment.indexation_id = s['indexation_id'] segment.context = s['context'] segment.context_tags = s['tags'] + segment.highlighted = s['highlighted'] if not s['project_id']: segment.project_id = '_'