-
Notifications
You must be signed in to change notification settings - Fork 12
Issues: ShazzAmin/Boole
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
Use fonts/sprites for iconography rather than emojis
enhancement
New feature or request
#25
opened Sep 10, 2019 by
ShazzAmin
Download button does not work across different browsers
bug
Something isn't working
good first issue
Good for newcomers
#22
opened Dec 9, 2018 by
ShazzAmin
Feedback not being categorized correctly
bug
Something isn't working
good first issue
Good for newcomers
#21
opened Dec 9, 2018 by
ShazzAmin
Make the file explorer collapsable
enhancement
New feature or request
#18
opened Dec 3, 2018 by
ShazzAmin
Save and restore file history
enhancement
New feature or request
#17
opened Dec 3, 2018 by
ShazzAmin
Ability to create, delete and rename files
enhancement
New feature or request
#15
opened Dec 3, 2018 by
ShazzAmin
Visually indicate that George Feedback is outdated (when it is)
enhancement
New feature or request
#11
opened Nov 30, 2018 by
ShazzAmin
Make "magic used" icon and message clearer
enhancement
New feature or request
#10
opened Nov 27, 2018 by
ShazzAmin
Disallow keywords from appearing in local auto-complete
enhancement
New feature or request
#9
opened Nov 27, 2018 by
ShazzAmin
Adapt ace-mode-george.js to our code style
enhancement
New feature or request
#8
opened Nov 27, 2018 by
ShazzAmin
Keyboard shortcut for "Ask George" button
enhancement
New feature or request
#7
opened Nov 26, 2018 by
ShazzAmin
Auto complete should add meta tags
enhancement
New feature or request
#6
opened Nov 26, 2018 by
derekyin
Ctrl+/ should (un)comment the current selection or line
enhancement
New feature or request
#3
opened Nov 25, 2018 by
ShazzAmin
Editor not automatically focused on reload
enhancement
New feature or request
#2
opened Nov 24, 2018 by
derekyin
ProTip!
What’s not been updated in a month: updated:<2025-03-18.