Plugin allows for quick change of font size by use of keyboard shortcuts.
Shortcuts:
- Ctrl = increase font size
- Ctrl - decrease font size
- Ctrl 0 reset font size to default value
↧
Fontsize
↧
Channel:
UI
X
Are you the publisher?
Claim or
contact us
about this channel.
X
0
Channel Details:
- Title: UI
- Channel Number: 19269134
- Language: English
- Registered On: June 28, 2013, 1:02 am
- Number of Articles: 1007
- Latest Snapshot: October 16, 2023, 7:57 pm
- RSS URL: http://marketplace.eclipse.org/taxonomy/term/18/all/feed/updated
- Publisher: https://marketplace.eclipse.org/category/categories/ui/updated/all
- Description:
- Catalog: //conjugium39.rssing.com/catalog.php?indx=19269134
© 2025 //www.rssing.com