(cond=True)
| 40 | |
| 41 | @contextlib.contextmanager |
| 42 | def grayed_out(cond=True): |
| 43 | if cond: |
| 44 | s = imgui.get_style() |
| 45 | text = s.colors[imgui.COLOR_TEXT_DISABLED] |
| 46 | grab = s.colors[imgui.COLOR_SCROLLBAR_GRAB] |
| 47 | back = s.colors[imgui.COLOR_MENUBAR_BACKGROUND] |
| 48 | imgui.push_style_color(imgui.COLOR_TEXT, *text) |
| 49 | imgui.push_style_color(imgui.COLOR_CHECK_MARK, *grab) |
| 50 | imgui.push_style_color(imgui.COLOR_SLIDER_GRAB, *grab) |
| 51 | imgui.push_style_color(imgui.COLOR_SLIDER_GRAB_ACTIVE, *grab) |
| 52 | imgui.push_style_color(imgui.COLOR_FRAME_BACKGROUND, *back) |
| 53 | imgui.push_style_color(imgui.COLOR_FRAME_BACKGROUND_HOVERED, *back) |
| 54 | imgui.push_style_color(imgui.COLOR_FRAME_BACKGROUND_ACTIVE, *back) |
| 55 | imgui.push_style_color(imgui.COLOR_BUTTON, *back) |
| 56 | imgui.push_style_color(imgui.COLOR_BUTTON_HOVERED, *back) |
| 57 | imgui.push_style_color(imgui.COLOR_BUTTON_ACTIVE, *back) |
| 58 | imgui.push_style_color(imgui.COLOR_HEADER, *back) |
| 59 | imgui.push_style_color(imgui.COLOR_HEADER_HOVERED, *back) |
| 60 | imgui.push_style_color(imgui.COLOR_HEADER_ACTIVE, *back) |
| 61 | imgui.push_style_color(imgui.COLOR_POPUP_BACKGROUND, *back) |
| 62 | yield |
| 63 | imgui.pop_style_color(14) |
| 64 | else: |
| 65 | yield |
| 66 | |
| 67 | #---------------------------------------------------------------------------- |
| 68 |
no outgoing calls
no test coverage detected