-
Notifications
You must be signed in to change notification settings - Fork 5
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
Allow changing font size and keyboard shortcuts #15
Comments
Thanks for the feedback! I really appreciate it. I'll add some configuration options for the next release. But I've just committed a change that uses the default monospace font of your system (when using the GNOME desktop). Change font/font size and keyboard shortcuts are both very high on my list. |
Font size can now be changed using the preference dialog. |
Forgive my ignorance. I just pulled the latest code, and don't see any button or menu item to open the preference dialog. |
Weird, I don't have that option. I see the following on branch master..
The last commit I have pulled down locally is:
|
Maybe you'll have to run `make compile-resources` before launching the app.
This recompiles the UI stuff.
Michael Shepanski <notifications@github.com> schrieb am Di., 24. Jan. 2017
um 15:06 Uhr:
… Weird, I don't have that option. I see the following on branch master..
- New SQL Editor (which is dimmed out)
- Close SQL Editor
- Quit
—
You are receiving this because you commented.
Reply to this email directly, view it on GitHub
<#15 (comment)>,
or mute the thread
<https://github.com/notifications/unsubscribe-auth/AABkIACEys_f16GlpZxpO9Vzs_12Z620ks5rVgVogaJpZM4GnRyF>
.
|
That was it. 👍 I need to get used to compiling python code I suppose! |
That's actually a GTK thing. I create parts of the UI using Glade (
https://glade.gnome.org/). The UI definitions are stored in the data/*.ui
files. Those (XML) files need to be compiled to some binary stuff, that can
be loaded into the GTK framework.
Michael Shepanski <notifications@github.com> schrieb am Di., 24. Jan. 2017
um 15:10 Uhr:
… That was it. 👍
I need to get used to compiling python code I suppose!
—
You are receiving this because you commented.
Reply to this email directly, view it on GitHub
<#15 (comment)>,
or mute the thread
<https://github.com/notifications/unsubscribe-auth/AABkIFOQyhbXrBf3wHAX6GM4CAlh0CoTks5rVgYzgaJpZM4GnRyF>
.
|
Two core configurations I would love to see implemented (even if just in a config file).
BTW: I am loving some of the enhancements over Crunchyfrog. Tab complete is awesome! Loading the last editor state on startup is awesome, and the simplistic view is nice.
The text was updated successfully, but these errors were encountered: