diff widgets/CommandHistory.h @ 854:c17719e488c9

Fix some potential null-pointer derefs, and simplify some logic where loops were used with an unconditional "break" that meant they could only happen once (from coverity scan)
author Chris Cannam
date Wed, 03 Sep 2014 12:04:22 +0100
parents 73a58a4dfebd
children 05d614f6e46d
line wrap: on
line diff