I have been trying to search what plugin might be missing in protege without success. Currently, as you can see in the figure, when I click on the "Axioms" tab I get a "missing plugin". As I was not sure what could be missing, I installed all the plugins, besides a couple of reasoners.
Any suggestion?
Related
I feel like I'm going crazy, but since updating to the new version of Android Studio, I can no longer tell which files have errors in them.
Previously, if I made a change in one class, like to a method signature, then all other classes that were calling that method would suddenly be highlighted in red (at that section along the top that shows the path). Now it shows nothing as though my code is good, except when I go to compile, I now get a load of errors in the build tab at the bottom, in a really unhelpful way to navigate through.
Is this something I can switch back to through a setting somewhere? I'm really not sure what to search for, but I've been through almost all of them.
UPDATE :
Following another SO post, I turned on and off PowerSave mode, at the bottom of File menu (in Android Studio). This, temporarily at least, seems to have solved things.
This may be what you are looking for?
Either that or it may be in preferences.
Trying j2me app development. I got a simple Hello to work, and a simple TextBox user as well. But when I tried to compile code for a file browser I got "javax.microedition.io.file does not exist".
The WTK according to the Sun website is supposed to include JSR75. And there's a camera demo .java file that uses it.
I've looked in various places (the WTK, BlueJ, even Netbeans) for menu options to turn it on. Nothing. And a search of this forum turned up exactly ONE message and it pertains to another IDE, and it seemed to work for him in BlueJ.
So what am I missing and how do I get it?
In NetBeans, you go to Project Properties (right-click the project, and select Properties). Then click "Platform" and mark "File Connection and PIM Optional Packages 1.0".
On a whim I did a search for JSR75 jar download and found a few zipped jar files that seemed to contain the file classes. I unzipped one of them and put it in the Libraries/Userlib directory of BlueJ; and now I seem to have the File... Classes. Reading and writing seem to work in the emulator.
I'll take another look at Netbeans when I get a chance.
When i started working on my angularjs project in Sublime Text 3, I used to get a "Goto definition" option in the right click menu, But it has disappeared since the last few weeks and I am unable to understand why.
Also the Goto Definition in general(F12) does't seem to work anymore. It gives and error
Unable to find myFunction
But the "Goto symbol in Project" does seem to work.
Can someone help with what exactly must have gone wrong? and how do get it back?
There was a javascript syntax highlighting package that I had installed which turned out to be the cause.
As mentioned be user KeithHall in the question comments, I tried disabling my installed packages one by one to find the package that was causing the issue.
The goto definition option is now back in the Right Click menu, also the F12 feature works correctly.
Thanks again to the commentor
I have created a custom syntax definition in the new .sublime-syntax format, but I can seem to get it to appear in my list of available syntaxes...
I have tried putting it in:
<Install Location>/Packages
<Install Location>/Packages/User
<Install Location/Data/Packages
<Install Location/Data/Packages/User
%APPDATA%/Packages
%APPDATA%/Packages/User
The documentation seems to be bit light on how this works, but I'm hoping that someone can enlighten me!
The proper location for user-defined syntaxes, plugins, build systems, etc. is Packages/User, where Packages is the folder opened by selecting Preferences -> Browse Packages...*. I'm not on Windows at the moment, but I believe this is %APPDATA%/Sublime Text 3/Packages/User. Once you place the file there, it will be available from the syntax menu under User.
Also, please recall that .sublime-syntax files are only supported in the dev builds currently, and you need to be a registered user to run them. They will not work with Build 3083.
Does anyone know how automatic build systems work in 3083 right now? Because I am struggling to get it to do the right thing. (p.s. I am not an expert st3 customizer so I am probably just doing it wrong.)
My TypeScript.sublime-build file lives in ../Packages/User and contains:
{
"cmd": ["/usr/local/bin/tsc"],
"file_regex": "^(.+?) \\((\\d+),(\\d+)\\): (.+)$",
"selector": "source.TypeScript"
}
When I edit a .ts file the syntax highlighting is for TypeScript and that is also what is displayed in the bottom right corner. So from that I deduce that ST3 is correctly identifying the desired syntax for the file (although I am not sure where that happens.)
When I choose the TypeScript build system by hand and click CMD-B it runs the build and displays the output in the console, as I expected.
When I have "automatic" build system and I open a .ts file or change to a .ts file that was already open, ST3 again correctly identifies the syntax (bottom right in the window.) However when I click CMD-B it runs the last build method that I happened to have used.
I thought that the idea with automatic is that it would choose the build system based on the syntax identified via the file extension.
Does anyone understand this problem or correct my assumptions?
Never figured out the problem. But I fully uninstalled ST3 and reinstalled it, with the package control and typescript packages and nothing more, and now it seems to work. Oh well. I guess not all the bugs are out yet.