Skip to content

Editor Zoom Functionality #8

Open
Open
Editor Zoom Functionality#8
Labels
enhancement
@stirno

Description

@stirno
stirno
opened on Mar 13, 2015

Implement proper editor zoom functionality with a user control to view/edit zoom and on ctrl+mousewheel events.

Replace currently implemented simple implementation.

Metadata

Metadata

Assignees

No one assigned

    Labels

    enhancement

    Type

    No type

    Fields

    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions