Colomban Wendling
Colomban Wendling
I just tried to post a link with a lengthy description, and it took me some time to write it, plus I did a few other things in-between. When I...
I just pulled and built master, and installed it over my previous (olde…) 1.38 (git >= 75d3c9f12) (my head was actually at 11a1f32fd490b3918d069f0d05cca5bbc6c4b5ad, not 100% sure what was really installed,...
This should fix #1164 , and replaces #1165. BEWARE: I did NOT test this with libgit2 1.4, that I don't have yet. I might go to the trouble of building...
We have to use the deprecated API because it is the only way to fetch the correct information from menus that were themselves created with that deprecated API, so we...
This is a very common paradigm used by [GNOME](https://developer.gnome.org/hig-book/stable/menus-design.html.en#menu-item-type-command), KDE, MacOSX, Windows, etc., and following it makes our UI more consistent with these and easier to use by their users....
* Improve documentation * Add support for webkit2gtk-4.1 (no changes) * Add a key binding & menu item for loading the current file into the web view (for e.g. static...
This is a two-parts fix required for usage with 2.0: 8cad88d72c343fd1091b6dab85ecb226c062a9da: Fix a crash when encountering an unknown tag type (e.g. locals) 3af0bf5117a1143b20286f5ee9fb0a2c35916d6b: Add support for locals, and do something...
This is a first attempt with little testing, but it seems to work pretty OK. However, please review all levels, from design to implementation. To summarize, what this does is...
An offspring of #3716, with small things on the improvement side rather than fixes. * Merge 2 controls in the prefs dialog (no functional change intended, but gets rid of...