mirror of
https://github.com/ProxymanApp/Proxyman.git
synced 2026-04-26 00:25:56 +03:00
[GH-ISSUE #431] Customize Font + Size in Response #428
Labels
No labels
Discussion
Feature request
In Progress...
Plugins
Waiting response
Windows
Windows
bug
duplicate
enhancement
feature
good first issue
iOS
macOS 10.11
question
wontfix
✅ Done
No milestone
No project
No assignees
1 participant
Notifications
Due date
No due date set.
Dependencies
No dependencies set.
Reference
starred/Proxyman#428
Loading…
Add table
Add a link
Reference in a new issue
No description provided.
Delete branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Originally created by @NghiaTranUIT on GitHub (Mar 9, 2020).
Original GitHub issue: https://github.com/ProxymanApp/Proxyman/issues/431
Originally assigned to: @NghiaTranUIT on GitHub.
👏 Description
It would be great if the font and size are customizable from Preference app.
Acceptance Criteria
@isadon commented on GitHub (Mar 9, 2020):
Thanks @NghiaTranUIT. Will file future issues here.
@NghiaTranUIT commented on GitHub (Apr 23, 2020):
Bump to Proxyman 1.22.0 👍
@NghiaTranUIT commented on GitHub (Apr 23, 2020):
@donileo let checkout this BETA: https://proxyman.s3.us-east-2.amazonaws.com/beta/Proxyman_1.21.0_Font_Size.dmg
We're able to customize the font size to fit your monitor and easier for reading 🌮
@isadon commented on GitHub (Apr 23, 2020):
Hi, thanks for the effort here. Is there a way to change the font? My original intention was just that, to allow picking a specific font and size to use for showing the responses headers etc.
@NghiaTranUIT commented on GitHub (Apr 23, 2020):
Since the Request/Response Body Previewer is built on top of CodeMirror, so sometime it won't work properly with system fonts. I attempted but no luck : /
Thus, I don't support customize font at this moment. I will research it further and support it soon.
@isadon commented on GitHub (Apr 23, 2020):
Excellent!
@fwrs commented on GitHub (Jun 8, 2023):
Hi, it appears that you currently use Monaco rather than CodeMirror. Would it be possible to add this option now?
@NghiaTranUIT commented on GitHub (Jun 8, 2023):
Do you mean the font? @ghilyusha
What is the current font issue that you'd like to change 🤔 Are you prefer using the monospace font?
@fwrs commented on GitHub (Jun 8, 2023):
@NghiaTranUIT Right now when I view a request's body in proxyman, for me it is displayed using the Monaco Editor and not CodeMirror. For example, the command palette feature is not present in CodeMirror (right click > command palette).
Monaco has a font changing capability, so it should be possible to add an option.
@NghiaTranUIT commented on GitHub (Jun 8, 2023):
@ghilyusha yes, Monaco Editor is a new replacement for CodeMirror. I still don't understand why do you need to customize the Font Name? Is the current font hard to see? 🤔
@fwrs commented on GitHub (Jun 8, 2023):
It's quite standard for applications to allow a custom monospace font family to accommodate for the preference of the user. I can find a setting for this in the majority of dev tools, such as VSCode, Paw/RapidAPI, Postman, Fork, iTerm, Xcode, etc.
The use case that I have for this is to allow the user to have the same monospace font everywhere.
Furthermore, the current font used by Monaco (called Menlo) is deprecated on macOS in favor of a new one (called SF Mono).
@NghiaTranUIT commented on GitHub (Jun 8, 2023):
Thanks for the clarification. If I add the "Use monospace Font", does it fulfill your need?
Even though I support Custom Font or Monospace Font, the new font only applies to the Body, Header Key/Value, and Content, ... not every font of the app is changed because it's really hard to customize every single UI Control of the app.
@fwrs commented on GitHub (Jun 8, 2023):
I'm sorry for the confusion. I only meant to ask for a setting that changes the font for code, not the UI, for example the request previews, map local tool, etc. That means only the bits that are rendered in Monaco.
@NghiaTranUIT commented on GitHub (Jun 9, 2023):
Ah thanks, I understand now 👍 Will checkout how much workload to support Font for the Monaco Editor
@isadon commented on GitHub (Aug 6, 2025):
Any update on this? Been a long time.
@NghiaTranUIT commented on GitHub (Aug 6, 2025):
It's already been in the latest app. You can change the font size or use Monosapced font of the Monaco Editor (Body, Map Local and Scripting)
We don't allow to change the font, because I don't think it's useful,