[PR #36] [MERGED] Replace showPrompt(ifNecessary: Bool) by showPromptIfNecessary()#98

Closed
opened 2025-12-29 18:29:04 +01:00 by adam · 0 comments
Owner

📋 Pull Request Information

Original PR: https://github.com/UrbanApps/Armchair/pull/36
Author: @phimage
Created: 12/15/2015
Status: Merged
Merged: 12/15/2015
Merged by: @coneybeare

Base: masterHead: fix-readme


📝 Commits (1)

  • 7b54774 Replace showPrompt(ifNecessary: Bool) by showPromptIfNecessary() in README.md

📊 Changes

1 file changed (+27 additions, -27 deletions)

View changed files

📝 README.md (+27 -27)

📄 Description

…in README.md

  • Remove Extra/Unwanted Spaces

In global function we have Armchair.showPromptIfNecessary() in the code, not Armchair.showPrompt(ifNecessary: Bool) as described in current readme

but in manager we have manager.showPrompt(ifNecessary: Bool), but I think readme.md talk about global function Armchair.


🔄 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/UrbanApps/Armchair/pull/36 **Author:** [@phimage](https://github.com/phimage) **Created:** 12/15/2015 **Status:** ✅ Merged **Merged:** 12/15/2015 **Merged by:** [@coneybeare](https://github.com/coneybeare) **Base:** `master` ← **Head:** `fix-readme` --- ### 📝 Commits (1) - [`7b54774`](https://github.com/UrbanApps/Armchair/commit/7b5477469a4ba12302ce03d809216ec3eebb304c) Replace `showPrompt(ifNecessary: Bool)` by `showPromptIfNecessary()` in README.md ### 📊 Changes **1 file changed** (+27 additions, -27 deletions) <details> <summary>View changed files</summary> 📝 `README.md` (+27 -27) </details> ### 📄 Description …in README.md - Remove Extra/Unwanted Spaces In global function we have `Armchair.showPromptIfNecessary()` in the code, not `Armchair.showPrompt(ifNecessary: Bool)` as described in current readme but in manager we have `manager.showPrompt(ifNecessary: Bool)`, but I think readme.md talk about global function `Armchair.` --- <sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>
adam added the pull-request label 2025-12-29 18:29:04 +01:00
adam closed this issue 2025-12-29 18:29:04 +01:00
Sign in to join this conversation.
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: starred/Armchair#98