[PR #437] [MERGED] Defaults to "Ctrl" #1130

New issue

Closed

opened 2026-02-26 09:33:45 +03:00 by kerem · 0 comments

kerem commented

2026-02-26 09:33:45 +03:00

Owner

📋 Pull Request Information

Original PR: https://github.com/NickeManarin/ScreenToGif/pull/437
Author: @yzhang-gh
Created: 1/19/2019
Status: ✅ Merged
Merged: 4/25/2019
Merged by: @NickeManarin

Base: master ← Head: master

📝 Commits (1)

3dec1b8 Better display of "control"

📊 Changes

1 file changed (+18 additions, -2 deletions)

View changed files

📝 ScreenToGif/Util/Native.cs (+18 -2)

📄 Description

Ctrl = Control ?
- #309

I believe most people would like Ctrl rather than Control as default.

Before

After

_{🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.}

## 📋 Pull Request Information **Original PR:** https://github.com/NickeManarin/ScreenToGif/pull/437 **Author:** [@yzhang-gh](https://github.com/yzhang-gh) **Created:** 1/19/2019 **Status:** ✅ Merged **Merged:** 4/25/2019 **Merged by:** [@NickeManarin](https://github.com/NickeManarin) **Base:** `master` ← **Head:** `master` --- ### 📝 Commits (1) - [`3dec1b8`](https://github.com/NickeManarin/ScreenToGif/commit/3dec1b87cf9f3c29db9c1f103a950711c4ad98c9) Better display of "control" ### 📊 Changes **1 file changed** (+18 additions, -2 deletions) <details> <summary>View changed files</summary> 📝 `ScreenToGif/Util/Native.cs` (+18 -2) </details> ### 📄 Description > Ctrl = Control ? > \- #309 I believe most people would like `Ctrl` rather than `Control` as default. **Before** ![before](https://user-images.githubusercontent.com/7588612/51427324-95266a80-1bee-11e9-9b23-186e9d6abd88.gif) **After** ![after](https://user-images.githubusercontent.com/7588612/51427325-9fe0ff80-1bee-11e9-9598-372ed5ff64ac.gif) --- <sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>