Thanks a lot for replying. Indeed this seems to be the problem. The question is: how do I get my plugin to be marked as compatible with Android Studio?
I looked at the plugin.xml of one plugin that is listed in the Android Studio product and I can see only 2 differences with my own: 1/ <idea-version since-build="107.105"/> (I have <idea-version since-build="139"/> on my own plugin) 2/ <depends>com.intellij.modules.java</depends> (I don't have this line in my own plugin) I am starting to think that 2/ that makes the difference (though I can't see any documentation explaining this). I guess I'll try to add this line, republish, and see if that works... In the meantime, if anyone has insights, please don't hesitate ;) -- BoD On Thursday, November 26, 2015 at 1:20:51 AM UTC+1, Siva Velusamy wrote: > > I suspect the issue might be related to the "Products" option that is > shown on the page. Currently, I think you've listed it to be > compatible with IntelliJ IDEA. Maybe you can see if there is an option > to also include Android Studio there. > > See for instance any plugin listed under > https://plugins.jetbrains.com/?androidstudio. They all specify the > list of products to include Studio. > > On Mon, Nov 23, 2015 at 6:55 AM, BoD <[email protected] <javascript:>> > wrote: > > Hi! > > > > I made and published a little plugin for Android Studio, here: > > https://plugins.jetbrains.com/plugin/7877 > > For some reason I don't understand, it doesn't appear in the list when > going > > to Plugins / Browse Repositories. > > Is there something I must do for it to appear there? > > > > Thanks! > > > > -- > > BoD > > > > -- > > You received this message because you are subscribed to the Google > Groups > > "adt-dev" group. > > To unsubscribe from this group and stop receiving emails from it, send > an > > email to [email protected] <javascript:>. > > For more options, visit https://groups.google.com/d/optout. > -- You received this message because you are subscribed to the Google Groups "adt-dev" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/d/optout.
