Helps reading of lojban text by overlaying parse tree from camxes.js.
jbodju Extension
Select some lojban text or click some lojban text.
Clicking text may not work so well, because if there are other HTML nodes in the text it will stop at them.
Selecting text means it doesn't need to try and figure out where the text to parse starts/ends.
Selecting text is recommended.
If the text is deemed gramatical by camxes.js, then the parse tree will be added to the page.
You can toggle elided terminators.
Click some other text or click close to get rid of the parse tree.
Source Manifest.json
How to download and manually install jbodju extension for Chrome
Looking for a way to install jbodju extensions for Chrome, you can search for them in the Chrome Web Store, clicking the "Add to Chrome" button, and following the straightforward process.
However, you may need to install jbodju extensions manually, this article outlines two simple methods to effortlessly install jbodju extensions, whether they come as unpacked folders in compressed formats like .zip or as .crx files.
Method 1: Download jbodju extension and manually install through Drag &Drop
If you ever need to manually install a jbodju extension for Chrome, don't worry, it's a simple process. Just follow these easy steps, and you will have your extension ready to use in no time.
Step 1: Download the jbodju Extension by clicking the "Download CRX" button on the website.
Look for the jbodju extension you wish to install. Go to the website and download the jbodju extension package, which is usually a .CRX file and comes in a zipped file. Here ".crx" file is the format for jbodju extension that contains all the data.
Step 2: Extract &Arrange Files
Once the file is downloaded, extract that file into its own folder. Similarly, give that extension files a permanent home. In other words, keep it in a folder that you don't accidentally delete it because these files will be needed to make that extension work.
Step 3: Go to the Chrome Extensions Page
Open Google Chrome and in the address bar, type chrome://extensions; it will open the Google Chrome extensions page. Make sure that "My extensions" is selected in the sidebar.
Step 4: Drag and Drop the Extension
Now, go to the folder where you extracted the jbodju extension and drag &drop the extension file from there anywhere onto the extension page within Google Chrome.
Step 5: Complete the Installation
Once you drag and drop the extension file, follow the steps that Google Chrome takes you through. Similarly, if the extension file is of .crx file format, you will be required to review the permissions and then add the extension.
Now, you can manage that added extension as you would like to with any other Chrome extension that you added through Chrome Webstore. Its icon will also appear in the Google Chrome Menu on the right side of the address bar once you activate it.
Method 2: Download jbodju extension for Chrome and install in Developer Mode
This is another method to install jbodju extension manually, but the twist is that here, you install by enabling the developer mode option provided in Google Chrome. This mode is commonly used for testing extensions or running unpublished tools.
Step 1: Download the jbodju extension file
Select and download the jbodju extension by clicking the 'Download CRX' button on the website.
Step 2: Extract the downloaded contents
Convert the file to a ZIP file if it is in CRX format then extract the jbodju extension zip file or folder that you downloaded. Make sure you extract it using the same folder name and keep it safely in another folder, so you don't delete it by mistake. The extracted folder will be needed to keep your jbodju extension running.
Step 3: Open Chrome Extension Setting Page
In the address bar of Google Chrome, type chrome://extensions and open the Chrome Extension Page.
Step 4: Enable Developer Mode
After opening the Chrome Extension page, look at the top right side, and you will find the toggle option of "Developer mode."Simply enable that developer mode option.
Step 5: Load the Unpacked Extension
Once you enable the developer mode option, you will see the menu of Load Unpacked, Pack Extensions and Update. From that, select the option "Load unpacked."
Step 6: Select the Extension Folder
Once the pop-up opens upon clicking Load unpacked, select the jbodju extension directory and click on the "Select Folder "button.
Step 7: Confirm and Install
After you select an extension folder of a Google Chrome extension you're installing manually, confirm its installation for the final time and let the installation complete.
Conclusion
Here we've made a step-by-step guide on How to manually install jbodju extension in 2 ways. We hope this guide proves helpful.
Similar Extensions
Irb-Console 17 2 ★ 557KiB
CutSpel 17 2 ★ 146KiB
bootify - A Bootstrap Injector 17 0 ★ 27.38KiB
SmartGWT Developer Console 17 1 ★ 5.67KiB
Utilspoint 17 2 ★ 33.33KiB
Azentio Web Controls 17 1 ★ 15.27KiB
Bitcoin Sneak Peek 17 16 ★ 14.81KiB
Esperanto x-system to Unicode 17 1 ★ 4.21KiB
Toki Pona Dictionary 17 4 ★ 31.22KiB
CSS TRIMMER 17 6 ★ 18.0KiB
StingRA 17 1 ★ 714KiB
Qooxdoo Tools 17 5 ★ 100KiB
Network Calls Mocker Stubby Generator 17 1 ★ 260KiB
Node.js™ trademark protector 17 0 ★ 3.38KiB
Learn Toki Pona 17 5 ★ 338KiB
Random Emoji Generator 17 1 ★ 62.78KiB
RegExTranslator: Decode RegEx in your browser 17 5 ★ 13.44KiB
Brainfuck interpreter 17 1 ★ 172KiB
ErrorsSpy 17 2 ★ 17.08KiB
JSON2Class 17 3 ★ 95.44KiB
Fantasy Code Snippets 17 2 ★ 113KiB
Developer Toolbox 17 2 ★ 491KiB

Kendo MVVM Inspector 17 1 ★ 7.17KiB
User reviews
Timon Stampfli (ID: 000000c6f8ab469c) Voted 5 ★ - Updated 02/16/2015