[GH-ISSUE #255] [Feature] Ability to update font, fontsize, row padding, alternating row color #251

Open
opened 2026-03-03 19:16:44 +03:00 by kerem · 12 comments
Owner

Originally created by @shirshak55 on GitHub (Aug 18, 2019).
Original GitHub issue: https://github.com/ProxymanApp/Proxyman/issues/255

Originally assigned to: @NghiaTranUIT on GitHub.

This idea come from tableplus editor.

image
Originally created by @shirshak55 on GitHub (Aug 18, 2019). Original GitHub issue: https://github.com/ProxymanApp/Proxyman/issues/255 Originally assigned to: @NghiaTranUIT on GitHub. This idea come from tableplus editor. <img width="560" alt="image" src="https://user-images.githubusercontent.com/8097377/63220401-58324e80-c1a4-11e9-9dc9-c834cda3c160.png">
Author
Owner

@NghiaTranUIT commented on GitHub (Dec 25, 2020):

In the latest build, 2.15.1, we can adjust the font size and select mono-font for the body data 🎉

Screen Shot 2020-12-25 at 16 34 50
<!-- gh-comment-id:751220560 --> @NghiaTranUIT commented on GitHub (Dec 25, 2020): In the latest build, 2.15.1, we can adjust the font size and select mono-font for the body data 🎉 <img width="702" alt="Screen Shot 2020-12-25 at 16 34 50" src="https://user-images.githubusercontent.com/5878421/103130397-1f2ab800-46cf-11eb-93a0-7104e3f48fbc.png">
Author
Owner

@webuniverseio commented on GitHub (Jan 31, 2023):

Hello, is it possible to add font customization of the UI? On 5k retina display everything looks very small. To start even just adding ability to change font for UI at my own risk would be good enough for me and if there are specific issues I can report them separately.

<!-- gh-comment-id:1411197926 --> @webuniverseio commented on GitHub (Jan 31, 2023): Hello, is it possible to add font customization of the UI? On 5k retina display everything looks very small. To start even just adding ability to change font for UI at my own risk would be good enough for me and if there are specific issues I can report them separately.
Author
Owner

@webuniverseio commented on GitHub (Jan 31, 2023):

Current problem is that only parts which are showing in main window are customizable but all tools, filters etc is very small. Thank you.

<!-- gh-comment-id:1411198466 --> @webuniverseio commented on GitHub (Jan 31, 2023): Current problem is that only parts which are showing in main window are customizable but all tools, filters etc is very small. Thank you.
Author
Owner

@NghiaTranUIT commented on GitHub (Feb 1, 2023):

Sorry if it causes trouble @webuniverseio

For the entire UI, customizing the font size/font name might terribly break the app UI.

However, I can support Font Size Customization on all debugging Tools (Only the Table View View). Let me know if it's good, then I can fix it :+1

<!-- gh-comment-id:1411314349 --> @NghiaTranUIT commented on GitHub (Feb 1, 2023): Sorry if it causes trouble @webuniverseio For the entire UI, customizing the font size/font name might terribly break the app UI. However, I can support Font Size Customization on all debugging Tools (Only the Table View View). Let me know if it's good, then I can fix it :+1
Author
Owner

@webuniverseio commented on GitHub (Feb 1, 2023):

Hey @NghiaTranUIT no worries, there are various apps which are not ideal for retina on desktop but I can't go back to blurry/pixelated screens.

I'm thinking - would it be helpful if I create a bunch of tickets with specific parts which I would want to have an increased size? Or better to put it all in one story with details/screenshots? I understand that addressing it throughout entire app will be tricky, so I'm not asking for that. Just trying to think about best way to provide feedback for parts that are too small.

Thanks

<!-- gh-comment-id:1411355192 --> @webuniverseio commented on GitHub (Feb 1, 2023): Hey @NghiaTranUIT no worries, there are various apps which are not ideal for retina on desktop but I can't go back to blurry/pixelated screens. I'm thinking - would it be helpful if I create a bunch of tickets with specific parts which I would want to have an increased size? Or better to put it all in one story with details/screenshots? I understand that addressing it throughout entire app will be tricky, so I'm not asking for that. Just trying to think about best way to provide feedback for parts that are too small. Thanks
Author
Owner

@NghiaTranUIT commented on GitHub (Feb 1, 2023):

Yes, it's possible to create multiple small tickets to enhance accessibility. If you don't mind, which part of the app you'd need to support a bigger Font Size? The feature that you've used the most.

<!-- gh-comment-id:1411357340 --> @NghiaTranUIT commented on GitHub (Feb 1, 2023): Yes, it's possible to create multiple small tickets to enhance accessibility. If you don't mind, which part of the app you'd need to support a bigger Font Size? The feature that you've used the most.
Author
Owner

@webuniverseio commented on GitHub (Feb 1, 2023):

Honestly right now this is across multiple areas. Scripting (code/console font sizes increase would be nice), map remote/local. I use other areas like black/white lists. Maybe it make sense to add support for different display size variants/settings - normal/hi-resolution to have a predictable settings for UI.

<!-- gh-comment-id:1411363173 --> @webuniverseio commented on GitHub (Feb 1, 2023): Honestly right now this is across multiple areas. Scripting (code/console font sizes increase would be nice), map remote/local. I use other areas like black/white lists. Maybe it make sense to add support for different display size variants/settings - normal/hi-resolution to have a predictable settings for UI.
Author
Owner

@webuniverseio commented on GitHub (Feb 1, 2023):

I'll start making tickets on the weekend and we can discuss each separately if that makes sense. Thank you

<!-- gh-comment-id:1411363749 --> @webuniverseio commented on GitHub (Feb 1, 2023): I'll start making tickets on the weekend and we can discuss each separately if that makes sense. Thank you
Author
Owner

@NghiaTranUIT commented on GitHub (Feb 1, 2023):

Honestly right now this is across multiple areas. Scripting (code/console font sizes increase would be nice), map remote/local. I use other areas like black/white lists. Maybe it make sense to add support for different display size variants/settings - normal/hi-resolution to have a predictable settings for UI.

I still prefer "Keep it simple" by using 1 config in the Preference.

I mean, the font size will affect all UI of the app, including the Main Table View, Request/Response, Tool Rule Table View, Scripting Editor, and Map Local Editor, ... rather than each one has their own setting.

<!-- gh-comment-id:1411369588 --> @NghiaTranUIT commented on GitHub (Feb 1, 2023): > Honestly right now this is across multiple areas. Scripting (code/console font sizes increase would be nice), map remote/local. I use other areas like black/white lists. Maybe it make sense to add support for different display size variants/settings - normal/hi-resolution to have a predictable settings for UI. I still prefer "Keep it simple" by using 1 config in the Preference. I mean, the font size will affect all UI of the app, including the Main Table View, Request/Response, Tool Rule Table View, Scripting Editor, and Map Local Editor, ... rather than each one has their own setting.
Author
Owner

@webuniverseio commented on GitHub (Feb 1, 2023):

True. This is how I think about it, today there are 2 categories

  • UI sizes, which are a bit different depending on a section and have hard values
  • customizable sizes which are for user to control and are in "safe" to increase areas.

To improve the experience of UI sizes which are small on hi-res displays but still have a predictable outcome it might make sense to introduce a pre-defined (hardcoded) setting which changes scale or maybe overrides configurations for UIs in such a way where you would know and test with certainty the size of the "hi-res" UI. Benefit is that it will be easier to maintain, downside is that it may not work for all users (some may want slightly smaller or slightly larger).

<!-- gh-comment-id:1411380421 --> @webuniverseio commented on GitHub (Feb 1, 2023): True. This is how I think about it, today there are 2 categories - UI sizes, which are a bit different depending on a section and have hard values - customizable sizes which are for user to control and are in "safe" to increase areas. To improve the experience of UI sizes which are small on hi-res displays but still have a predictable outcome it might make sense to introduce a pre-defined (hardcoded) setting which changes scale or maybe overrides configurations for UIs in such a way where you would know and test with certainty the size of the "hi-res" UI. Benefit is that it will be easier to maintain, downside is that it may not work for all users (some may want slightly smaller or slightly larger).
Author
Owner

@350d commented on GitHub (Jul 13, 2024):

Hello! Please add font settings for Scripting console. I have checked Use Monotype Font in app settings but scripting console didn't respect this settings.

<!-- gh-comment-id:2226937659 --> @350d commented on GitHub (Jul 13, 2024): Hello! Please add font settings for Scripting console. I have checked `Use Monotype Font` in app settings but scripting console didn't respect this settings.
Author
Owner

@NghiaTranUIT commented on GitHub (Jul 14, 2024):

@350d it's fixed on this beta build: https://github.com/ProxymanApp/Proxyman/issues/2082#issuecomment-2227218566

<!-- gh-comment-id:2227218666 --> @NghiaTranUIT commented on GitHub (Jul 14, 2024): @350d it's fixed on this beta build: https://github.com/ProxymanApp/Proxyman/issues/2082#issuecomment-2227218566
Sign in to join this conversation.
No milestone
No project
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference
starred/Proxyman#251
No description provided.