issues
search
djalbat
/
occam-ide
Occam/s IDE
Other
1
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
The label buttons aren't working
#220
djalbat
opened
1 day ago
0
The project pane can be scrolled by editing a lengthy entry
#219
djalbat
opened
1 day ago
0
The links on the welcome page aren't working
#218
djalbat
opened
3 days ago
0
The `disableDrag()` mixin fails after extended use
#217
djalbat
opened
3 weeks ago
0
Markdown styles are not being applied in the preview pane
#216
djalbat
closed
4 days ago
0
Control+U does not show the drop down menu in the Unicode picker
#215
djalbat
closed
4 days ago
0
Nonsense can be broken incrementally
#214
djalbat
closed
4 days ago
0
Index entries are sometimes undefined
#213
djalbat
opened
1 month ago
0
The index does not take the dependencies into account
#212
djalbat
opened
1 month ago
0
Corresponding editor tabs are not brought into view when documents are activated
#211
djalbat
closed
4 days ago
1
Collapsed fold positions are not updated incrementally
#210
djalbat
opened
1 month ago
0
The functionality to adjust references should labels be changed and vice-versa has been removed
#209
djalbat
closed
1 month ago
0
The vertical splitters can be dragged somehow when collapsed
#208
djalbat
closed
1 month ago
0
Qualified statements are incrementally parsed as nonsense
#207
djalbat
closed
4 days ago
1
Labels are enabled when they should be disabled
#206
djalbat
closed
1 month ago
0
Deleting a space in nonsense does not show in the pretty printer
#205
djalbat
closed
1 month ago
1
Determine the custom grammars firstly from the active document and then the selected entry
#204
djalbat
opened
1 month ago
0
Adjustments to the settings pane
#203
djalbat
closed
1 month ago
0
Folds are still misbehaving
#202
djalbat
closed
2 weeks ago
0
If a premise is added then the minor version number is bumped and not the major version number
#201
djalbat
closed
1 month ago
0
Nested folds are not being hidden when extra vertical space is added
#200
djalbat
closed
1 month ago
0
The document in the grammars sandbox cannot be activated when the page reloads
#199
djalbat
opened
2 months ago
1
Failure after extended use
#198
djalbat
opened
2 months ago
2
Folds are unfolded when first activated
#197
djalbat
closed
1 month ago
0
Verified in ss seconds would be useful especially for puboishing
#196
djalbat
closed
1 month ago
0
Commits to GitHub are not working from the Open Mathematics site
#195
djalbat
closed
1 month ago
1
Some labels are showing as having references
#194
djalbat
closed
1 month ago
2
A refresh button in the editor menu
#193
djalbat
opened
2 months ago
0
The caret sometimes appears at the end of activated documents
#192
djalbat
opened
2 months ago
2
Removing the dependencies from the `meta.json` file does not result in the custom grammars changing
#191
djalbat
closed
2 months ago
0
The error style in the sandbox may need adjustment
#190
djalbat
closed
2 months ago
0
The indexing failed whilst working on term BNF and a Florence file
#189
djalbat
closed
1 month ago
0
Frequently used Unicode characters should appear at the top of the Unicode list
#188
djalbat
opened
2 months ago
0
The font size buttons are not working in the basic editor
#187
djalbat
closed
2 months ago
0
HTML '<' and '>' characters do not have to be escaped for the preview pane
#186
djalbat
closed
2 months ago
0
Page numbers are failing in the custom grammars chapter
#185
djalbat
closed
2 months ago
0
The user interface partially locks up after extended use
#184
djalbat
closed
2 months ago
2
The preview to pretty printer ratio is reset when find buttons are clicked
#183
djalbat
closed
2 months ago
0
Expand the console pane when searching in files
#182
djalbat
opened
2 months ago
0
Move the clear console button to a sidebar in the console pane
#181
djalbat
opened
2 months ago
0
The find in content functionality is not scrolling to the selection
#180
djalbat
closed
2 months ago
0
Ligatures are being created by JuliaMono
#179
djalbat
closed
2 months ago
0
Folds are unhidden even though both of their buttons are occluded
#178
djalbat
closed
2 months ago
1
The editor is not gaining the focus after links in the console are clicked
#177
djalbat
closed
2 months ago
0
No page number is appearing in the preview pane
#176
djalbat
closed
2 months ago
0
So called orphaned folds in Markdown files
#175
djalbat
opened
2 months ago
2
Problem with an operation not being a function
#174
djalbat
closed
2 months ago
0
A null pointer exception related to dragging into the session directory
#173
djalbat
closed
2 months ago
0
Move over to JSON configuration
#172
djalbat
opened
2 months ago
0
A control plus "T' keyboard shortcut for activating documents in line with the tab ordering
#171
djalbat
opened
2 months ago
0
Next