Gallery improvements

[TheLounger]

Checklist:

• I have read the Contributing guidelines.

Improvements:

• Adds the gallery-items_per_page setting, allowing you to control the amount of items in the character gallery before Gradio starts to paginate them.
• Adds the gallery-open setting, allowing you to open (expand) the character gallery by default.
• Changes the way character pictures are updated in the chat UI, so they actually update when switching to a different character that has the same name: pfp_character_thumb.png?Jack > pfp_character_thumb.png?Jack_v2_Angry.
• Adds filtering capability:
  • Keeps a list of loaded character so as to not unnecessarily load them from disk.
  • Highlights textbox when a filter is active.
  • Goes to the first page before filtering, preventing a possible empty page or document jumping around.
  • A button to clear filter.

Notes:

I was hoping to find a simpler way to fix updating the character pic, but I didn't want to create new/temp variables or anything like that and I didn't want unnecessary downloading by slapping on ?{time.time()}, so it is what it is. 🤩

Videos:

(don't seem to embed)
Desktop.webm Android.webm

[oobabooga]

Those are excellent changes. Well done!

[TheLounger]

Thanks for implementing!

The filter feature may need a fix because event handling in Gradio seems to ignore consecutive events when one hasn't finished yet, resulting in unexpected results when you type fast. I believe this needs Gradio 4+ for it to be really fixed (see #1954.

[oobabooga]

I tried upgrading to Gradio 4 some weeks ago and it basically broke everything. For now, a search feature that kind works is still better than no search feature at all.