diff options
| author | AUTOMATIC1111 <16777216c@gmail.com> | 2023-08-10 03:39:38 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-08-10 03:39:38 +0000 |
| commit | 736aaf348be492188f931c034c1cd962e14944b9 (patch) | |
| tree | 236ebda9a600236fd5314f1b59010f1026b1723a /modules | |
| parent | f0edd26998dd52b1a474c50a02123f6ec764ceff (diff) | |
| parent | ff1bfd01ba33ee03b3eb99b1669bd29a3a6658ca (diff) | |
| download | stable-diffusion-webui-gfx803-736aaf348be492188f931c034c1cd962e14944b9.tar.gz stable-diffusion-webui-gfx803-736aaf348be492188f931c034c1cd962e14944b9.tar.bz2 stable-diffusion-webui-gfx803-736aaf348be492188f931c034c1cd962e14944b9.zip | |
Merge pull request #12440 from catboxanon/dev
Use better symbol for extra networks sort
Diffstat (limited to 'modules')
| -rw-r--r-- | modules/ui.py | 1 | ||||
| -rw-r--r-- | modules/ui_extra_networks.py | 4 |
2 files changed, 2 insertions, 3 deletions
diff --git a/modules/ui.py b/modules/ui.py index 30b80417..4e1daa8d 100644 --- a/modules/ui.py +++ b/modules/ui.py @@ -78,7 +78,6 @@ extra_networks_symbol = '\U0001F3B4' # 🎴 switch_values_symbol = '\U000021C5' # ⇅
restore_progress_symbol = '\U0001F300' # 🌀
detect_image_size_symbol = '\U0001F4D0' # 📐
-up_down_symbol = '\u2195\ufe0f' # ↕️
plaintext_to_html = ui_common.plaintext_to_html
diff --git a/modules/ui_extra_networks.py b/modules/ui_extra_networks.py index 16d76a45..063bd7b8 100644 --- a/modules/ui_extra_networks.py +++ b/modules/ui_extra_networks.py @@ -347,7 +347,7 @@ def pages_in_preferred_order(pages): def create_ui(interface: gr.Blocks, unrelated_tabs, tabname):
- from modules.ui import up_down_symbol
+ from modules.ui import switch_values_symbol
ui = ExtraNetworksUi()
ui.pages = []
@@ -374,7 +374,7 @@ def create_ui(interface: gr.Blocks, unrelated_tabs, tabname): edit_search = gr.Textbox('', show_label=False, elem_id=tabname+"_extra_search", elem_classes="search", placeholder="Search...", visible=False, interactive=True)
dropdown_sort = gr.Dropdown(choices=['Default Sort', 'Date Created', 'Date Modified', 'Name'], value='Default Sort', elem_id=tabname+"_extra_sort", elem_classes="sort", multiselect=False, visible=False, show_label=False, interactive=True, label=tabname+"_extra_sort_order")
- button_sortorder = ToolButton(up_down_symbol, elem_id=tabname+"_extra_sortorder", elem_classes="sortorder", visible=False)
+ button_sortorder = ToolButton(switch_values_symbol, elem_id=tabname+"_extra_sortorder", elem_classes="sortorder", visible=False)
button_refresh = gr.Button('Refresh', elem_id=tabname+"_extra_refresh", visible=False)
checkbox_show_dirs = gr.Checkbox(True, label='Show dirs', elem_id=tabname+"_extra_show_dirs", elem_classes="show-dirs", visible=False)
|