<table><tr><td style="">antonanikin updated the summary for this revision. <a href="https://phabricator.kde.org/transactions/detail/PHID-XACT-DREV-o7qiii55qalodrp/" rel="noreferrer">(Show Details)</a>
</td><a style="text-decoration: none; padding: 4px 8px; margin: 0 8px 8px; float: right; color: #464C5C; font-weight: bold; border-radius: 3px; background-color: #F7F7F9; background-image: linear-gradient(to bottom,#fff,#f1f0f1); display: inline-block; border: 1px solid rgba(71,87,120,.2);" href="https://phabricator.kde.org/D2958" rel="noreferrer">View Revision</a></tr></table><br /><div><strong>EDIT DETAILS</strong><div><div style="white-space: pre-wrap; color: #74777D;"><div style="padding: 8px 0;">...</div>1<span style="padding: 0 2px; color: #3e6d35; background: rgba(151, 234, 151, .6);">) Don't hide docks at editor focusing (current KDevelop behavior).<br />
2</span>) Unlocked docks are hided only if editor is already focused and we call 'Focus Editor' again (QtCreator<span style="padding: 0 2px; color: #802b2b; background: rgba(251, 175, 175, .7);">-like version</span><span style="padding: 0 2px; color: #3e6d35; background: rgba(151, 234, 151, .6);"> behavior</span>).<br />
<span style="padding: 0 2px; color: #802b2b; background: rgba(251, 175, 175, .7);">2</span><span style="padding: 0 2px; color: #3e6d35; background: rgba(151, 234, 151, .6);">3</span>) Unlocked docks are hided immediately with editor focusing.<div style="padding: 8px 0;">...</div></div></div></div><br /><div><strong>REPOSITORY</strong><div><div>R33 KDevPlatform</div></div></div><br /><div><strong>REVISION DETAIL</strong><div><a href="https://phabricator.kde.org/D2958" rel="noreferrer">https://phabricator.kde.org/D2958</a></div></div><br /><div><strong>EMAIL PREFERENCES</strong><div><a href="https://phabricator.kde.org/settings/panel/emailpreferences/" rel="noreferrer">https://phabricator.kde.org/settings/panel/emailpreferences/</a></div></div><br /><div><strong>To: </strong>antonanikin, KDevelop<br /><strong>Cc: </strong>apol, kdevelop-devel<br /></div>