Clear symbol tree before filtering to ensure it's fully re-created
[geany-mirror.git] / data / geany.css
blobae19ef1918f760077e6f09157b6ca8ef55fed2c1
1 /* custom GTK3 CSS for Geany */
3 /* make close button on the editor's tabs smaller */
4 #geany-close-tab-button {
5 padding: 0;
7 #geany-close-tab-button GtkImage /* GTK < 3.20 */,
8 #geany-close-tab-button image /* GTK >= 3.20 */ {
9 padding: 0;
12 /* use monospaced font in search entries for easier reading of regexp (#1907117) */
13 #GeanyDialogSearch GtkEntry /* GTK < 3.20 */,
14 #GeanyDialogSearch entry /* GTK >= 3.20 */ {
15 font-family: monospace;
18 /* set red background for GtkEntries showing unmatched searches */
19 #geany-search-entry-no-match {
20 color: #fff;
21 background: #ff6666;
23 #geany-search-entry-no-match:selected /* GTK < 3.20 */,
24 #geany-search-entry-no-match selection /* GTK >= 3.20 */ {
25 color: #fff;
26 background-color: #771111;
29 /* document status colors */
30 #geany-document-status-changed {
31 color: #ff3030;
33 #geany-document-status-disk-changed {
34 color: #ee8000;
36 #geany-document-status-readonly {
37 color: #309030;
40 /* compiler message colors */
41 #geany-compiler-error {
42 color: #ff3030;
44 #geany-compiler-context {
45 color: #ee8000;
47 #geany-compiler-message {
48 color: #006eff;
51 /* red "Terminal" label when terminal dirty */
52 #geany-terminal-dirty {
53 color: #ff3030;
56 /* Uncomment the following to reduce the size of the statusbar if needed */
58 statusbar {
59 margin: -6px 0;