Cool_Tools/imgui
1
0
Fork 0
mirror of https://github.com/ocornut/imgui.git synced 2024-11-27 17:10:57 +01:00
Code Releases Wiki Activity

Updated Home (markdown)

omar 2024-11-03 13:22:50 +01:00
parent ff6a3ca52e
commit 03ee3f512c
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
Home.md

@ -4,8 +4,7 @@ New to Dear ImGui? Check out the [[Getting Started guide|Getting-Started]].
----
**(2024-07: Editing is unfortunately now disabled because it is the only way for this wiki to be indexed by search engines. I have submitted a suggestion to GitHub to solve this problem: [#133123](https://github.com/orgs/community/discussions/133123). Please consider upvoting to help.)**
<BR>(Unfortunately GitHub is actively [preventing search engines from indexing editable wikis](https://github.com/orgs/community/discussions/4992). There are third-party crawlable mirrors (e.g. https://github-wiki-see.page/m/ocornut/imgui/wiki) but Google is doing a poor job surfacing the information. DuckDuckGo or Bing may occasionally do a better job, and the GitHub search bar exists. If you have meaningful Wiki edits to make you can checkout the Wiki git repo, make a change and submit it as a PR in main repo. We may need to move the Wiki elsewhere since GitHub is not cooperating by not allowing project owners to even e.g. add wiki editors.)
<sub>**2024-07: Wiki editing is unfortunately disabled because it is the only way for this wiki to be indexed by search engines. I have submitted a suggestion to GitHub to workaround this problem: [#133123](https://github.com/orgs/community/discussions/133123). Please consider upvoting to help.** GitHub is [preventing search engines from indexing editable wikis](https://github.com/orgs/community/discussions/4992). There are third-party crawlable mirrors (e.g. https://github-wiki-see.page/m/ocornut/imgui/wiki) but Google is doing a poor job surfacing the information. DuckDuckGo or Bing may occasionally do a better job, and the GitHub search bar exists. If you have meaningful Wiki edits to make you can checkout the Wiki git repo, make a change and submit it as a PR in main repo. We may need to move the Wiki elsewhere since GitHub is not cooperating by not allowing project owners to even e.g. add wiki editors.)</sub>
----