Skip to content

Editor and Debug Terminal Zoom (font sizing) #86

Open
@PropGit

Description

@PropGit

The editor and terminal are the focal point of most user's development efforts in Chrome IDE. As such, exploration of the source code and run-time information contained in each needs to be comfortable, including the ability to easily zoom in and out of each control (as well as just resizing the display itself).

For devices with hardware keyboards and a mouse, shortcut combinations like Ctrl-MouseWheel Up/Down are requested for zooming in/out (font-sizing up/down).

For devices with gesture input, pinch-to-zoom is requested to achieve the same effect.

The Chrome browser has incredible pinch-to-zoom support. If we can achieve the same effect within the edit and debug terminal controls themselves, that would be fantastic!

NOTE: The transmit and receive panes of the debug terminal can size up/down together... it's not our intention for them to be zoomed independent of each other; however, the editor must be able to zoom independent of the debug terminal.

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions