| route-pattern | /:user_id/:repository/pull/:id/files(.:format) |
| route-controller | pull_requests |
| route-action | files |
| fetch-nonce | v2:d28005d0-b997-16d5-f6e9-8c704e91a863 |
| current-catalog-service-hash | ae870bc5e265a340912cde392f23dad3671a0a881730ffdadd82f2f57d81641b |
| request-id | EDDC:366F6:1ED5864:27DEF31:697D74A3 |
| html-safe-nonce | 24ab59ff24854d38912c46e8c890ac8b3fc69c0e064163ad20c012a64f9051bf |
| visitor-payload | eyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiJFRERDOjM2NkY2OjFFRDU4NjQ6MjdERUYzMTo2OTdENzRBMyIsInZpc2l0b3JfaWQiOiIxOTg2ODg3Njk3MjIxNjQ1NDc1IiwicmVnaW9uX2VkZ2UiOiJpYWQiLCJyZWdpb25fcmVuZGVyIjoiaWFkIn0= |
| visitor-hmac | 9be877a4ab2862a94e4c2444eec4b833511429db121e1c739ae55eaf541229d0 |
| hovercard-subject-tag | pull_request:410174647 |
| github-keyboard-shortcuts | repository,pull-request-list,pull-request-conversation,pull-request-files-changed,copilot |
| google-site-verification | Apib7-x98H0j5cPqHWwSMm6dNU4GmODRoqxLiDzdx9I |
| octolytics-url | https://collector.github.com/github/collect |
| analytics-location | ///pull_requests/show/files |
| fb:app_id | 1401488693436528 |
| apple-itunes-app | app-id=1477376905, app-argument=https://github.com/dotdevelop/dotdevelop/pull/10/files |
| twitter:image | https://avatars.githubusercontent.com/u/1479980?s=400&v=4 |
| twitter:card | summary_large_image |
| og:image | https://avatars.githubusercontent.com/u/1479980?s=400&v=4 |
| og:image:alt | this is for review only
maybe some parts could be useful |
| og:site_name | GitHub |
| og:type | object |
| hostname | github.com |
| expected-hostname | github.com |
| None | 60279d4097367e16897439d16d6bbe4180663db828c666eeed2656988ffe59f6 |
| turbo-cache-control | no-preview |
| diff-view | unified |
| go-import | github.com/dotdevelop/dotdevelop git https://github.com/dotdevelop/dotdevelop.git |
| octolytics-dimension-user_id | 64219437 |
| octolytics-dimension-user_login | dotdevelop |
| octolytics-dimension-repository_id | 258290868 |
| octolytics-dimension-repository_nwo | dotdevelop/dotdevelop |
| octolytics-dimension-repository_public | true |
| octolytics-dimension-repository_is_fork | true |
| octolytics-dimension-repository_parent_id | 791299 |
| octolytics-dimension-repository_parent_nwo | mono/monodevelop |
| octolytics-dimension-repository_network_root_id | 791299 |
| octolytics-dimension-repository_network_root_nwo | mono/monodevelop |
| turbo-body-classes | logged-out env-production page-responsive full-width |
| disable-turbo | true |
| browser-stats-url | https://api.github.com/_private/browser/stats |
| browser-errors-url | https://api.github.com/_private/browser/errors |
| release | 7c85641c598ad130c74f7bcc27f58575cac69551 |
| ui-target | full |
| theme-color | #1e2327 |
| color-scheme | light dark |
| Skip to content | https://patch-diff.githubusercontent.com/dotdevelop/dotdevelop/pull/10/files#start-of-content |
|
| https://patch-diff.githubusercontent.com/ |
|
Sign in
| https://patch-diff.githubusercontent.com/login?return_to=https%3A%2F%2Fgithub.com%2Fdotdevelop%2Fdotdevelop%2Fpull%2F10%2Ffiles |
| GitHub CopilotWrite better code with AI | https://github.com/features/copilot |
| GitHub SparkBuild and deploy intelligent apps | https://github.com/features/spark |
| GitHub ModelsManage and compare prompts | https://github.com/features/models |
| MCP RegistryNewIntegrate external tools | https://github.com/mcp |
| ActionsAutomate any workflow | https://github.com/features/actions |
| CodespacesInstant dev environments | https://github.com/features/codespaces |
| IssuesPlan and track work | https://github.com/features/issues |
| Code ReviewManage code changes | https://github.com/features/code-review |
| GitHub Advanced SecurityFind and fix vulnerabilities | https://github.com/security/advanced-security |
| Code securitySecure your code as you build | https://github.com/security/advanced-security/code-security |
| Secret protectionStop leaks before they start | https://github.com/security/advanced-security/secret-protection |
| Why GitHub | https://github.com/why-github |
| Documentation | https://docs.github.com |
| Blog | https://github.blog |
| Changelog | https://github.blog/changelog |
| Marketplace | https://github.com/marketplace |
| View all features | https://github.com/features |
| Enterprises | https://github.com/enterprise |
| Small and medium teams | https://github.com/team |
| Startups | https://github.com/enterprise/startups |
| Nonprofits | https://github.com/solutions/industry/nonprofits |
| App Modernization | https://github.com/solutions/use-case/app-modernization |
| DevSecOps | https://github.com/solutions/use-case/devsecops |
| DevOps | https://github.com/solutions/use-case/devops |
| CI/CD | https://github.com/solutions/use-case/ci-cd |
| View all use cases | https://github.com/solutions/use-case |
| Healthcare | https://github.com/solutions/industry/healthcare |
| Financial services | https://github.com/solutions/industry/financial-services |
| Manufacturing | https://github.com/solutions/industry/manufacturing |
| Government | https://github.com/solutions/industry/government |
| View all industries | https://github.com/solutions/industry |
| View all solutions | https://github.com/solutions |
| AI | https://github.com/resources/articles?topic=ai |
| Software Development | https://github.com/resources/articles?topic=software-development |
| DevOps | https://github.com/resources/articles?topic=devops |
| Security | https://github.com/resources/articles?topic=security |
| View all topics | https://github.com/resources/articles |
| Customer stories | https://github.com/customer-stories |
| Events & webinars | https://github.com/resources/events |
| Ebooks & reports | https://github.com/resources/whitepapers |
| Business insights | https://github.com/solutions/executive-insights |
| GitHub Skills | https://skills.github.com |
| Documentation | https://docs.github.com |
| Customer support | https://support.github.com |
| Community forum | https://github.com/orgs/community/discussions |
| Trust center | https://github.com/trust-center |
| Partners | https://github.com/partners |
| GitHub SponsorsFund open source developers | https://github.com/sponsors |
| Security Lab | https://securitylab.github.com |
| Maintainer Community | https://maintainers.github.com |
| Accelerator | https://github.com/accelerator |
| Archive Program | https://archiveprogram.github.com |
| Topics | https://github.com/topics |
| Trending | https://github.com/trending |
| Collections | https://github.com/collections |
| Enterprise platformAI-powered developer platform | https://github.com/enterprise |
| GitHub Advanced SecurityEnterprise-grade security features | https://github.com/security/advanced-security |
| Copilot for BusinessEnterprise-grade AI features | https://github.com/features/copilot/copilot-business |
| Premium SupportEnterprise-grade 24/7 support | https://github.com/premium-support |
| Pricing | https://github.com/pricing |
| Search syntax tips | https://docs.github.com/search-github/github-code-search/understanding-github-code-search-syntax |
| documentation | https://docs.github.com/search-github/github-code-search/understanding-github-code-search-syntax |
|
Sign in
| https://patch-diff.githubusercontent.com/login?return_to=https%3A%2F%2Fgithub.com%2Fdotdevelop%2Fdotdevelop%2Fpull%2F10%2Ffiles |
|
Sign up
| https://patch-diff.githubusercontent.com/signup?ref_cta=Sign+up&ref_loc=header+logged+out&ref_page=%2F%3Cuser-name%3E%2F%3Crepo-name%3E%2Fpull_requests%2Fshow%2Ffiles&source=header-repo&source_repo=dotdevelop%2Fdotdevelop |
| Reload | https://patch-diff.githubusercontent.com/dotdevelop/dotdevelop/pull/10/files |
| Reload | https://patch-diff.githubusercontent.com/dotdevelop/dotdevelop/pull/10/files |
| Reload | https://patch-diff.githubusercontent.com/dotdevelop/dotdevelop/pull/10/files |
|
dotdevelop
| https://patch-diff.githubusercontent.com/dotdevelop |
| dotdevelop | https://patch-diff.githubusercontent.com/dotdevelop/dotdevelop |
| mono/monodevelop | https://patch-diff.githubusercontent.com/mono/monodevelop |
|
Notifications
| https://patch-diff.githubusercontent.com/login?return_to=%2Fdotdevelop%2Fdotdevelop |
|
Fork
37
| https://patch-diff.githubusercontent.com/login?return_to=%2Fdotdevelop%2Fdotdevelop |
|
Star
335
| https://patch-diff.githubusercontent.com/login?return_to=%2Fdotdevelop%2Fdotdevelop |
|
Code
| https://patch-diff.githubusercontent.com/dotdevelop/dotdevelop |
|
Issues
54
| https://patch-diff.githubusercontent.com/dotdevelop/dotdevelop/issues |
|
Pull requests
18
| https://patch-diff.githubusercontent.com/dotdevelop/dotdevelop/pulls |
|
Actions
| https://patch-diff.githubusercontent.com/dotdevelop/dotdevelop/actions |
|
Wiki
| https://patch-diff.githubusercontent.com/dotdevelop/dotdevelop/wiki |
|
Security
0
| https://patch-diff.githubusercontent.com/dotdevelop/dotdevelop/security |
|
Insights
| https://patch-diff.githubusercontent.com/dotdevelop/dotdevelop/pulse |
|
Code
| https://patch-diff.githubusercontent.com/dotdevelop/dotdevelop |
|
Issues
| https://patch-diff.githubusercontent.com/dotdevelop/dotdevelop/issues |
|
Pull requests
| https://patch-diff.githubusercontent.com/dotdevelop/dotdevelop/pulls |
|
Actions
| https://patch-diff.githubusercontent.com/dotdevelop/dotdevelop/actions |
|
Wiki
| https://patch-diff.githubusercontent.com/dotdevelop/dotdevelop/wiki |
|
Security
| https://patch-diff.githubusercontent.com/dotdevelop/dotdevelop/security |
|
Insights
| https://patch-diff.githubusercontent.com/dotdevelop/dotdevelop/pulse |
| Sign up for GitHub
| https://patch-diff.githubusercontent.com/signup?return_to=%2Fdotdevelop%2Fdotdevelop%2Fissues%2Fnew%2Fchoose |
| terms of service | https://docs.github.com/terms |
| privacy statement | https://docs.github.com/privacy |
| Sign in | https://patch-diff.githubusercontent.com/login?return_to=%2Fdotdevelop%2Fdotdevelop%2Fissues%2Fnew%2Fchoose |
| lytico | https://patch-diff.githubusercontent.com/lytico |
| dotdevelop:master | https://patch-diff.githubusercontent.com/dotdevelop/dotdevelop/tree/master |
| directhex:hackweek2 | https://patch-diff.githubusercontent.com/directhex/monodevelop/tree/hackweek2 |
|
Conversation
0
| https://patch-diff.githubusercontent.com/dotdevelop/dotdevelop/pull/10 |
|
Commits
22
| https://patch-diff.githubusercontent.com/dotdevelop/dotdevelop/pull/10/commits |
|
Checks
0
| https://patch-diff.githubusercontent.com/dotdevelop/dotdevelop/pull/10/checks |
|
Files changed
| https://patch-diff.githubusercontent.com/dotdevelop/dotdevelop/pull/10/files |
| Please reload this page | https://patch-diff.githubusercontent.com/dotdevelop/dotdevelop/pull/10/files |
|
DO NOT MERGE! Hackweek2 from directhex
| https://patch-diff.githubusercontent.com/dotdevelop/dotdevelop/pull/10/files#top |
|
Show all changes
22 commits
| https://patch-diff.githubusercontent.com/dotdevelop/dotdevelop/pull/10/files |
|
6ca69b5
Remove Stetic Gtk#2 GUI designer
Jul 23, 2018
| https://patch-diff.githubusercontent.com/dotdevelop/dotdevelop/pull/10/commits/6ca69b56407661dcfdbb21f21cedf944e6e4e67f |
|
1db6b06
Remove lingering glade-sharp references
Jul 23, 2018
| https://patch-diff.githubusercontent.com/dotdevelop/dotdevelop/pull/10/commits/1db6b06f916e769c672523a8711bf8349b9b402e |
|
6155274
Port to Gtk#3
Jul 23, 2018
| https://patch-diff.githubusercontent.com/dotdevelop/dotdevelop/pull/10/commits/61552748da58c85464f7fdde71c5f8bf5b082192 |
|
abca952
moop
Jul 23, 2018
| https://patch-diff.githubusercontent.com/dotdevelop/dotdevelop/pull/10/commits/abca95217388d38d6a2cae3515a6aaa13384dd9a |
|
7065835
moop
Jul 23, 2018
| https://patch-diff.githubusercontent.com/dotdevelop/dotdevelop/pull/10/commits/7065835f262c67f0b340533890b82f3b3234e584 |
|
17d164b
current wip
Jul 26, 2018
| https://patch-diff.githubusercontent.com/dotdevelop/dotdevelop/pull/10/commits/17d164b43b706a5afd1f205da0cf3986c0df60e2 |
|
6297e23
Made it show an error popup!
Jul 26, 2018
| https://patch-diff.githubusercontent.com/dotdevelop/dotdevelop/pull/10/commits/6297e23bb508db28e41df042a255aef1d95a389d |
|
b16963a
More build fixes
Jul 26, 2018
| https://patch-diff.githubusercontent.com/dotdevelop/dotdevelop/pull/10/commits/b16963a529e80a9d2a37add875117894dd147772 |
|
d30cfab
More build fixes
Jul 27, 2018
| https://patch-diff.githubusercontent.com/dotdevelop/dotdevelop/pull/10/commits/d30cfabb00ce1c5a6e78ace3c6c73a7c0ebb3dd2 |
|
ed1ab72
Always use ToolkitType.Gtk3 for XWT
directhex Jul 27, 2018
| https://patch-diff.githubusercontent.com/dotdevelop/dotdevelop/pull/10/commits/ed1ab724836db6f2517f3b2080a296be248c067d |
|
feb07e0
Retrieve version number in a non-weird way
directhex Jul 27, 2018
| https://patch-diff.githubusercontent.com/dotdevelop/dotdevelop/pull/10/commits/feb07e0f2b23262b1f948bde5fc9bcaff6a1b2c4 |
|
d7a532b
Work around lack of font loading, due to style service stubs
directhex Jul 27, 2018
| https://patch-diff.githubusercontent.com/dotdevelop/dotdevelop/pull/10/commits/d7a532b1625296485bfa17e9b083c58f7f35c7cf |
|
e5ae6e7
Get something displaying!!!
directhex Jul 27, 2018
| https://patch-diff.githubusercontent.com/dotdevelop/dotdevelop/pull/10/commits/e5ae6e7dc0a990b9a2cc06af0721d243bef135a6 |
|
85160e1
Fix natural_* == 0 in OnGetPreferred* events
directhex Jul 27, 2018
| https://patch-diff.githubusercontent.com/dotdevelop/dotdevelop/pull/10/commits/85160e10e0a198cd35d6de8164ec8598dc714a1a |
|
b615c4e
Minor natural_height fix
Jul 27, 2018
| https://patch-diff.githubusercontent.com/dotdevelop/dotdevelop/pull/10/commits/b615c4e56128b10b851cd514992fc34e632764e4 |
|
c5374d0
My first port from OnExposeEvent to OnDrawn
Jul 27, 2018
| https://patch-diff.githubusercontent.com/dotdevelop/dotdevelop/pull/10/commits/c5374d0332a735c51bf2b1d9fd03c08e123d871d |
|
02d2dae
Fix Gtk3 on Mac
directhex Jul 28, 2018
| https://patch-diff.githubusercontent.com/dotdevelop/dotdevelop/pull/10/commits/02d2daeb60e3c3410d44358dbe12232c1f0a9e9d |
|
765a54d
Better Linux OS name detection in Help/About
directhex Jul 28, 2018
| https://patch-diff.githubusercontent.com/dotdevelop/dotdevelop/pull/10/commits/765a54daa85a1559291ca597395ac603df644f18 |
|
0b740ae
more updates
directhex Jul 28, 2018
| https://patch-diff.githubusercontent.com/dotdevelop/dotdevelop/pull/10/commits/0b740aee769c2377238f44ec27ff0316bf258de4 |
|
bcc8c79
More sourceeditor fixes
directhex Jul 28, 2018
| https://patch-diff.githubusercontent.com/dotdevelop/dotdevelop/pull/10/commits/bcc8c79f425976bf22fd98e34ce77811ffb5dc87 |
|
6606b91
More build stubbing
directhex Jul 29, 2018
| https://patch-diff.githubusercontent.com/dotdevelop/dotdevelop/pull/10/commits/6606b918a6d4db15d5a719aa7f343844a75d631f |
|
b08b7c5
Bump Xwt submodule, for Mac dllmap fix
Jul 30, 2018
| https://patch-diff.githubusercontent.com/dotdevelop/dotdevelop/pull/10/commits/b08b7c532f3372052fd8f3a8bc386ae5d531cc69 |
|
Clear filters
| https://patch-diff.githubusercontent.com/dotdevelop/dotdevelop/pull/10/files |
| Please reload this page | https://patch-diff.githubusercontent.com/dotdevelop/dotdevelop/pull/10/files |
| Please reload this page | https://patch-diff.githubusercontent.com/dotdevelop/dotdevelop/pull/10/files |
| main/Main.sln | https://patch-diff.githubusercontent.com/dotdevelop/dotdevelop/pull/10/files#diff-bf8d73f843a3d86b9b905147920a91928f63b87d36ab44ab1256cb1ac6f98e57 |
|
View file
| https://patch-diff.githubusercontent.com/dotdevelop/dotdevelop/blob/b08b7c532f3372052fd8f3a8bc386ae5d531cc69/main/Main.sln |
|
Open in desktop
| https://desktop.github.com |
| https://github.co/hiddenchars |
| https://patch-diff.githubusercontent.com/dotdevelop/dotdevelop/pull/10/{{ revealButtonHref }} |
|
| https://patch-diff.githubusercontent.com/dotdevelop/dotdevelop/pull/10/files#diff-bf8d73f843a3d86b9b905147920a91928f63b87d36ab44ab1256cb1ac6f98e57 |
|
| https://patch-diff.githubusercontent.com/dotdevelop/dotdevelop/pull/10/files#diff-bf8d73f843a3d86b9b905147920a91928f63b87d36ab44ab1256cb1ac6f98e57 |
|
| https://patch-diff.githubusercontent.com/dotdevelop/dotdevelop/pull/10/files#diff-bf8d73f843a3d86b9b905147920a91928f63b87d36ab44ab1256cb1ac6f98e57 |
|
| https://patch-diff.githubusercontent.com/dotdevelop/dotdevelop/pull/10/files#diff-bf8d73f843a3d86b9b905147920a91928f63b87d36ab44ab1256cb1ac6f98e57 |
|
| https://patch-diff.githubusercontent.com/dotdevelop/dotdevelop/pull/10/files#diff-bf8d73f843a3d86b9b905147920a91928f63b87d36ab44ab1256cb1ac6f98e57 |
|
| https://patch-diff.githubusercontent.com/dotdevelop/dotdevelop/pull/10/files#diff-bf8d73f843a3d86b9b905147920a91928f63b87d36ab44ab1256cb1ac6f98e57 |
|
| https://patch-diff.githubusercontent.com/dotdevelop/dotdevelop/pull/10/files#diff-bf8d73f843a3d86b9b905147920a91928f63b87d36ab44ab1256cb1ac6f98e57 |
|
| https://patch-diff.githubusercontent.com/dotdevelop/dotdevelop/pull/10/files#diff-bf8d73f843a3d86b9b905147920a91928f63b87d36ab44ab1256cb1ac6f98e57 |
|
| https://patch-diff.githubusercontent.com/dotdevelop/dotdevelop/pull/10/files#diff-bf8d73f843a3d86b9b905147920a91928f63b87d36ab44ab1256cb1ac6f98e57 |
|
| https://patch-diff.githubusercontent.com/dotdevelop/dotdevelop/pull/10/files#diff-bf8d73f843a3d86b9b905147920a91928f63b87d36ab44ab1256cb1ac6f98e57 |
|
| https://patch-diff.githubusercontent.com/dotdevelop/dotdevelop/pull/10/files#diff-bf8d73f843a3d86b9b905147920a91928f63b87d36ab44ab1256cb1ac6f98e57 |
|
| https://patch-diff.githubusercontent.com/dotdevelop/dotdevelop/pull/10/files#diff-bf8d73f843a3d86b9b905147920a91928f63b87d36ab44ab1256cb1ac6f98e57 |
|
| https://patch-diff.githubusercontent.com/dotdevelop/dotdevelop/pull/10/files#diff-bf8d73f843a3d86b9b905147920a91928f63b87d36ab44ab1256cb1ac6f98e57 |
|
| https://patch-diff.githubusercontent.com/dotdevelop/dotdevelop/pull/10/files#diff-bf8d73f843a3d86b9b905147920a91928f63b87d36ab44ab1256cb1ac6f98e57 |
|
| https://patch-diff.githubusercontent.com/dotdevelop/dotdevelop/pull/10/files#diff-bf8d73f843a3d86b9b905147920a91928f63b87d36ab44ab1256cb1ac6f98e57 |
|
| https://patch-diff.githubusercontent.com/dotdevelop/dotdevelop/pull/10/files#diff-bf8d73f843a3d86b9b905147920a91928f63b87d36ab44ab1256cb1ac6f98e57 |
| main/configure.ac | https://patch-diff.githubusercontent.com/dotdevelop/dotdevelop/pull/10/files#diff-0b3e72cd04b1971208325535b4f13cea02a8b531297586ab8b41b279b91e585b |
|
View file
| https://patch-diff.githubusercontent.com/dotdevelop/dotdevelop/blob/b08b7c532f3372052fd8f3a8bc386ae5d531cc69/main/configure.ac |
|
Open in desktop
| https://desktop.github.com |
| https://github.co/hiddenchars |
| https://patch-diff.githubusercontent.com/dotdevelop/dotdevelop/pull/10/{{ revealButtonHref }} |
|
| https://patch-diff.githubusercontent.com/dotdevelop/dotdevelop/pull/10/files#diff-0b3e72cd04b1971208325535b4f13cea02a8b531297586ab8b41b279b91e585b |
|
| https://patch-diff.githubusercontent.com/dotdevelop/dotdevelop/pull/10/files#diff-0b3e72cd04b1971208325535b4f13cea02a8b531297586ab8b41b279b91e585b |
|
| https://patch-diff.githubusercontent.com/dotdevelop/dotdevelop/pull/10/files#diff-0b3e72cd04b1971208325535b4f13cea02a8b531297586ab8b41b279b91e585b |
|
| https://patch-diff.githubusercontent.com/dotdevelop/dotdevelop/pull/10/files#diff-0b3e72cd04b1971208325535b4f13cea02a8b531297586ab8b41b279b91e585b |
| main/external/fsharpbinding/MonoDevelop.FSharp.Gui/MonoDevelop.FSharp.Gui.csproj | https://patch-diff.githubusercontent.com/dotdevelop/dotdevelop/pull/10/files#diff-bdd88fc2c4d3479821f9d184d57f4493f09397e72463fc0d867e32ac5888eb7b |
|
View file
| https://patch-diff.githubusercontent.com/dotdevelop/dotdevelop/blob/b08b7c532f3372052fd8f3a8bc386ae5d531cc69/main/external/fsharpbinding/MonoDevelop.FSharp.Gui/MonoDevelop.FSharp.Gui.csproj |
|
Open in desktop
| https://desktop.github.com |
| https://github.co/hiddenchars |
| https://patch-diff.githubusercontent.com/dotdevelop/dotdevelop/pull/10/{{ revealButtonHref }} |
|
| https://patch-diff.githubusercontent.com/dotdevelop/dotdevelop/pull/10/files#diff-bdd88fc2c4d3479821f9d184d57f4493f09397e72463fc0d867e32ac5888eb7b |
|
| https://patch-diff.githubusercontent.com/dotdevelop/dotdevelop/pull/10/files#diff-bdd88fc2c4d3479821f9d184d57f4493f09397e72463fc0d867e32ac5888eb7b |
| ...ding/MonoDevelop.FSharp.Gui/gtk-gui/MonoDevelop.FSharp.Gui.FSharpCompilerOptionsWidget.cs | https://patch-diff.githubusercontent.com/dotdevelop/dotdevelop/pull/10/files#diff-1970472b1e796dcd68629d31efd0f6650027c15b2ea798473efb11b8d4156731 |
|
View file
| https://patch-diff.githubusercontent.com/dotdevelop/dotdevelop/blob/b08b7c532f3372052fd8f3a8bc386ae5d531cc69/main/external/fsharpbinding/MonoDevelop.FSharp.Gui/gtk-gui/MonoDevelop.FSharp.Gui.FSharpCompilerOptionsWidget.cs |
|
Open in desktop
| https://desktop.github.com |
| https://github.co/hiddenchars |
| https://patch-diff.githubusercontent.com/dotdevelop/dotdevelop/pull/10/{{ revealButtonHref }} |
|
| https://patch-diff.githubusercontent.com/dotdevelop/dotdevelop/pull/10/files#diff-1970472b1e796dcd68629d31efd0f6650027c15b2ea798473efb11b8d4156731 |
|
| https://patch-diff.githubusercontent.com/dotdevelop/dotdevelop/pull/10/files#diff-1970472b1e796dcd68629d31efd0f6650027c15b2ea798473efb11b8d4156731 |
|
| https://patch-diff.githubusercontent.com/dotdevelop/dotdevelop/pull/10/files#diff-1970472b1e796dcd68629d31efd0f6650027c15b2ea798473efb11b8d4156731 |
|
| https://patch-diff.githubusercontent.com/dotdevelop/dotdevelop/pull/10/files#diff-1970472b1e796dcd68629d31efd0f6650027c15b2ea798473efb11b8d4156731 |
|
| https://patch-diff.githubusercontent.com/dotdevelop/dotdevelop/pull/10/files#diff-1970472b1e796dcd68629d31efd0f6650027c15b2ea798473efb11b8d4156731 |
| main/external/fsharpbinding/MonoDevelop.FSharp.Gui/gtk-gui/generated.cs | https://patch-diff.githubusercontent.com/dotdevelop/dotdevelop/pull/10/files#diff-68418656c6681e30ae8ed946acdf22d585dc54e16da317ba054f3951a33ebfd1 |
|
View file
| https://patch-diff.githubusercontent.com/dotdevelop/dotdevelop/blob/b08b7c532f3372052fd8f3a8bc386ae5d531cc69/main/external/fsharpbinding/MonoDevelop.FSharp.Gui/gtk-gui/generated.cs |
|
Open in desktop
| https://desktop.github.com |
| https://github.co/hiddenchars |
| https://patch-diff.githubusercontent.com/dotdevelop/dotdevelop/pull/10/{{ revealButtonHref }} |
|
| https://patch-diff.githubusercontent.com/dotdevelop/dotdevelop/pull/10/files#diff-68418656c6681e30ae8ed946acdf22d585dc54e16da317ba054f3951a33ebfd1 |
|
| https://patch-diff.githubusercontent.com/dotdevelop/dotdevelop/pull/10/files#diff-68418656c6681e30ae8ed946acdf22d585dc54e16da317ba054f3951a33ebfd1 |
| Please reload this page | https://patch-diff.githubusercontent.com/dotdevelop/dotdevelop/pull/10/files |
|
| https://github.com |
| Terms | https://docs.github.com/site-policy/github-terms/github-terms-of-service |
| Privacy | https://docs.github.com/site-policy/privacy-policies/github-privacy-statement |
| Security | https://github.com/security |
| Status | https://www.githubstatus.com/ |
| Community | https://github.community/ |
| Docs | https://docs.github.com/ |
| Contact | https://support.github.com?tags=dotcom-footer |