| 134 | self._main_content_box.queue_resize() |
| 135 | |
| 136 | def update_layout(self): |
| 137 | bar = ( |
| 138 | user_settings.interface.bar |
| 139 | if user_settings.interface.modules.bar_id.workspaces == 0 |
| 140 | else user_settings.interface.bar2 |
| 141 | ) |
| 142 | vertical = bar.vertical |
| 143 | style = user_settings.interface.modules.options.workspaces_style |
| 144 | |
| 145 | if self._icons_box: |
| 146 | self._icons_box.set_vertical(vertical) |
| 147 | |
| 148 | if vertical: |
| 149 | self._main_content_box.set_vertical(True) |
| 150 | self.set_halign("center") |
| 151 | if style == "dots": |
| 152 | self.set_valign("center") |
| 153 | else: |
| 154 | self.set_valign("fill") |
| 155 | else: |
| 156 | self._main_content_box.set_vertical(False) |
| 157 | self.set_valign("center") |
| 158 | if style == "dots": |
| 159 | self.set_halign("center") |
| 160 | else: |
| 161 | self.set_halign("fill") |
| 162 | |
| 163 | if style == "dots": |
| 164 | self._main_content_box.set_spacing(0) |
| 165 | |
| 166 | |
| 167 | class Workspaces(widgets.EventBox): |