Easily create markers and highlight important notes into jEdit #Create Marker #Text Highlighter #JEdit Plugin #JEdit #Highlight #Highlighter
MarkerSets For jEdit is a useful and simple jEdit plugin that allows you to manage multiple sets of markers, where each set can contain notes from various files.
The plugin allows you to easily export the marker sets to a XML file, change the active marker set, as well as to assign colors for each set.
What's new in MarkerSets For jEdit 0.9:
- Displaying the marker under mouse in status bar.
- Fixed bug #3455360: disabled duplicate shortcuts.
- Immediate update of the dockable when a shortcut of a marker is changed.
- Made setting and going to a marker recordable by macro recorder.
MarkerSets For jEdit 0.9
add to watchlist add to download basket send us an update REPORT- runs on:
- Windows All
- file size:
- 97 KB
- filename:
- MarkerSets-0.9.zip
3 screenshots:
- main category:
- Office tools
- developer:
- visit homepage
Zoom Client
The official desktop client for Zoom, the popular video conferencing and collaboration tool used by millions of people worldwide
Bitdefender Antivirus Free
Feather-light and free antivirus solution from renowned developer that keeps the PC protected at all times from malware without requiring user configuration
4k Video Downloader
Export your favorite YouTube videos and playlists with this intuitive, lightweight program, built to facilitate downloading clips from the popular website
calibre
Effortlessly keep your e-book library thoroughly organized with the help of the numerous features offered by this efficient and capable manager
7-Zip
An intuitive application with a very good compression ratio that can help you not only create and extract archives, but also test them for errors
ShareX
Capture your screen, create GIFs, and record videos through this versatile solution that includes various other amenities: an OCR scanner, image uploader, URL shortener, and much more
Microsoft Teams
Effortlessly chat, collaborate on projects, and transfer files within a business-like environment by employing this Microsoft-vetted application
IrfanView
With support for a long list of plugins, this minimalistic utility helps you view images, as well as edit and convert them using a built-in batch mode
Windows Sandbox Launcher
Set up the Windows Sandbox parameters to your specific requirements, with this dedicated launcher that features advanced parametrization
Context Menu Manager
Customize Windows’ original right-click context menu using this free, portable and open-source utility meant to enhance your workflow
% discount
IrfanView
- IrfanView
- Windows Sandbox Launcher
- Context Menu Manager
- Zoom Client
- Bitdefender Antivirus Free
- 4k Video Downloader
- calibre
- 7-Zip
- ShareX
- Microsoft Teams
essentials
Click to load comments
This enables Disqus, Inc. to process some of your data. Disqus privacy policy