Found by gcc: operation on 'preview_ptr' may be undefined [-Wsequence-point]
break;
case PREVIEW_INSTANT: {
renderer_.reset(new RenderMonitoredPreview(this));
break;
case PREVIEW_INSTANT: {
renderer_.reset(new RenderMonitoredPreview(this));
- RenderMonitoredPreview * preview_ptr = preview_ptr = renderer_->asMonitoredPreview();
+ RenderMonitoredPreview * preview_ptr = renderer_->asMonitoredPreview();
preview_ptr->fileChanged(bind(&InsetExternal::fileChanged, this));
if (preview_ptr->monitoring())
preview_ptr->stopMonitoring();
preview_ptr->fileChanged(bind(&InsetExternal::fileChanged, this));
if (preview_ptr->monitoring())
preview_ptr->stopMonitoring();