<p><a class="user-mention" data-hovercard-type="user" data-hovercard-url="/hovercards?user_id=564520" data-octo-click="hovercard-link-click" data-octo-dimensions="link_type:self" href="https://github.com/kugel-">@kugel-</a></p>
<blockquote>
<p>I dislike that, while space-efficient, it looks too crammed. Some spacing is needed. Also it doesn't scale down well to small window sizes.</p>
</blockquote>
<p>Can you reply to <a class="issue-link js-issue-link" data-error-text="Failed to load issue title" data-id="468964732" data-permission-text="Issue title is private" data-url="https://github.com/geany/geany/issues/2220" data-hovercard-type="pull_request" data-hovercard-url="/geany/geany/pull/2220/hovercard?comment_id=516101248&comment_type=issue_comment" href="https://github.com/geany/geany/pull/2220#issuecomment-516101248">#2220 (comment)</a> and <a class="issue-link js-issue-link" data-error-text="Failed to load issue title" data-id="468964732" data-permission-text="Issue title is private" data-url="https://github.com/geany/geany/issues/2220" data-hovercard-type="pull_request" data-hovercard-url="/geany/geany/pull/2220/hovercard?comment_id=516141984&comment_type=issue_comment" href="https://github.com/geany/geany/pull/2220#issuecomment-516141984">#2220 (comment)</a> ?</p>
<blockquote>
<p>mark-as-you-type is really nice but it bloats the diff currently. Chances for merging the general feature are better if it has parity with the dialog, and new features are added separately (and also to the dialog)</p>
</blockquote>
<p>Currently, the dialog can be used to both search in current document and in whole session. Mark-as-you-type would make more sense if searching in whole session was moved for example into find in files dialog.</p>
<blockquote>
<p>The bar UI is completely C coded, this should be in glade as much as possible</p>
</blockquote>
<p>I'm not a glade expert, but I guess this would require using separate glade file for search bar and doing something like <a href="https://stackoverflow.com/a/48569994" rel="nofollow">https://stackoverflow.com/a/48569994</a></p>
<blockquote>
<p>hacking this into notebook.c is still the wrong way. this should live in search.c with the dialog, for the rest it ought to be transparent</p>
</blockquote>
<p>I guess building/loading and adding search bar into new tab have to be done in notebook.c. The rest can be moved into search.c</p>
<blockquote>
<p>the custom widget is IMO not the right way. There is GtkInfoBar which seems more useful, shares lots of API with dialogs (so it helps maintaining common parts between dialog and bar) and has a less crammed appearance.</p>
</blockquote>
<p>I'll check it out.</p>

<p style="font-size:small;-webkit-text-size-adjust:none;color:#666;">—<br />You are receiving this because you are subscribed to this thread.<br />Reply to this email directly, <a href="https://github.com/geany/geany/pull/2220?email_source=notifications&email_token=AAIOWJ3SV2C2P65AJ77N5QDQHDPYRA5CNFSM4IEKN7D2YY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGOD5RCO6Q#issuecomment-526526330">view it on GitHub</a>, or <a href="https://github.com/notifications/unsubscribe-auth/AAIOWJ2CXLM5BGXYLW7M7R3QHDPYRANCNFSM4IEKN7DQ">mute the thread</a>.<img src="https://github.com/notifications/beacon/AAIOWJ36NZTWYXJY66RIBOTQHDPYRA5CNFSM4IEKN7D2YY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGOD5RCO6Q.gif" height="1" width="1" alt="" /></p>
<script type="application/ld+json">[
{
"@context": "http://schema.org",
"@type": "EmailMessage",
"potentialAction": {
"@type": "ViewAction",
"target": "https://github.com/geany/geany/pull/2220?email_source=notifications\u0026email_token=AAIOWJ3SV2C2P65AJ77N5QDQHDPYRA5CNFSM4IEKN7D2YY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGOD5RCO6Q#issuecomment-526526330",
"url": "https://github.com/geany/geany/pull/2220?email_source=notifications\u0026email_token=AAIOWJ3SV2C2P65AJ77N5QDQHDPYRA5CNFSM4IEKN7D2YY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGOD5RCO6Q#issuecomment-526526330",
"name": "View Pull Request"
},
"description": "View this Pull Request on GitHub",
"publisher": {
"@type": "Organization",
"name": "GitHub",
"url": "https://github.com"
}
}
]</script>