Patch |
File delta |
Description |
doc_version_from_configure.in.diff | (download) |
docs/programmers_guide/conf.py |
11 7 + 4 - 0 !
docs/release_notes/conf.py |
11 7 + 4 - 0 !
docs/tutorial/conf.py |
11 7 + 4 - 0 !
docs/users_guide/conf.py |
11 7 + 4 - 0 !
4 files changed, 28 insertions(+), 16 deletions(-) |
extract the version from configure.in instead of configure.
|
documentation path.patch | (download) |
docs/gps_index.xml |
85 25 + 60 - 0 !
docs/tutorial/intro.rst |
2 1 + 1 - 0 !
docs/users_guide/GPS/__init__.py |
2 1 + 1 - 0 !
docs/users_guide/environment.rst |
8 4 + 4 - 0 !
gps/src/gps-main.adb |
2 1 + 1 - 0 !
help/src/help_module.adb |
4 2 + 2 - 0 !
kernel/src/welcome_page.adb |
3 2 + 1 - 0 !
7 files changed, 36 insertions(+), 70 deletions(-) |
place documentation files in /usr/share/doc/gnat-gps.
The documentation is described by XML files that GPS parses at run time:
place them in /usr/share/doc/gnat-gps, too, and patch GPS so it
looks for them there. The XML files refer to other files; adjust the
path to match.
|
elaboration.patch | (download) |
codefix/core/src/codefix-formal_errors.ads |
2 2 + 0 - 0 !
common/core/src/file_utils.ads |
1 1 + 0 - 0 !
common/core/src/generic_list.ads |
1 1 + 0 - 0 !
common/core/src/generic_stack.ads |
2 2 + 0 - 0 !
common/core/src/list_utils.ads |
1 1 + 0 - 0 !
common/core/src/string_hash.ads |
1 1 + 0 - 0 !
common/ui/src/gui_utils.ads |
1 1 + 0 - 0 !
completion/core/src/completion.ads |
2 2 + 0 - 0 !
gvd/src/gvd-generic_view.ads |
2 2 + 0 - 0 !
kernel/src/gps-kernel.ads |
2 2 + 0 - 0 !
10 files changed, 15 insertions(+) |
avoid crashes caused by elaboration order.
After binding the program with -p (pessimize the elaboration order)
Ludovic discovered some elaboration order issues that are the cause
for some of GPS's crashes at run-time. This patch fixes these
issues.
|
project_editor_make.patch | (download) |
prj_editor/src/project_properties.adb |
2 1 + 1 - 0 !
1 file changed, 1 insertion(+), 1 deletion(-) |
project editor > make hangs gnat-gps
When the user clicks on the Make tab of the Project Editor, GPS hangs.
|
fix_warnings.diff | (download) |
ada_module/core/src/ada_semantic_tree-type_tree.adb |
4 2 + 2 - 0 !
ada_module/core/src/ada_semantic_tree-type_tree.ads |
8 4 + 4 - 0 !
browsers/src/browsers.ads |
2 1 + 1 - 0 !
builder/design/design.txt |
6 3 + 3 - 0 !
codefix/core/src/codefix-gnat_parser.adb |
2 1 + 1 - 0 !
codefix/ui/src/codefix_module.adb |
2 1 + 1 - 0 !
common/core/src/commands.ads |
2 1 + 1 - 0 !
common/core/src/config.ads.in |
2 1 + 1 - 0 !
common/core/src/file_utils.ads |
2 1 + 1 - 0 !
common/core/src/os-utils.c |
7 6 + 1 - 0 !
common/core/src/switches_chooser.adb |
6 3 + 3 - 0 !
common/core/src/tries.adb |
2 1 + 1 - 0 !
cpp_module/src/foreign_naming_editors.adb |
2 1 + 1 - 0 !
custom/src/custom_naming_editors.adb |
2 1 + 1 - 0 !
docs/users_guide/GPS/__init__.py |
10 7 + 3 - 0 !
docs/users_guide/extending.rst |
14 7 + 7 - 0 !
docs/users_guide/navigation.rst |
4 2 + 2 - 0 !
docs/users_guide/searching.rst |
2 1 + 1 - 0 !
examples/demo/matrix_handling/matrix_utils.c |
1 1 + 0 - 0 !
examples/python/clipboards.py |
2 1 + 1 - 0 !
examples/python/hello_gtk.py |
2 2 + 0 - 0 !
gnatdoc/src/gnatdoc-backend-html-source_code.adb |
2 1 + 1 - 0 !
gps/src/gps-main.adb |
8 4 + 4 - 0 !
gvd/src/process_proxies.ads |
2 1 + 1 - 0 !
kernel/src/commands-custom.ads |
2 1 + 1 - 0 !
kernel/src/default_preferences.ads |
2 1 + 1 - 0 !
kernel/src/gps-kernel-custom.adb |
2 1 + 1 - 0 !
kernel/src/gps-kernel-entities.adb |
2 1 + 1 - 0 !
kernel/src/gps-kernel-hooks.adb |
2 1 + 1 - 0 !
kernel/src/gps-kernel-timeout.ads |
2 1 + 1 - 0 !
kernel/src/gps-kernel.adb |
2 1 + 1 - 0 !
kernel/src/gps-kernel.ads |
4 2 + 2 - 0 !
kernel/src/gps-main_window.adb |
2 1 + 1 - 0 !
kernel/src_info/gps-scripts-commands.adb |
2 1 + 1 - 0 !
language/src/language-tree-database.ads |
6 3 + 3 - 0 !
prj_editor/src/creation_wizard-dependencies.adb |
2 1 + 1 - 0 !
prj_editor/src/gpr_creation.adb |
2 1 + 1 - 0 !
prj_editor/src/scenario_selectors.adb |
2 1 + 1 - 0 !
remote/src/remote-config_dialog.adb |
4 2 + 2 - 0 !
remote/src/remote-db.adb |
4 2 + 2 - 0 !
share/library/treemove.py |
2 2 + 0 - 0 !
share/library/vim.py |
2 2 + 0 - 0 !
share/plug-ins/gnatcheck.py |
2 2 + 0 - 0 !
share/plug-ins/isearch.py |
2 2 + 0 - 0 !
share/plug-ins/listvars.py |
2 2 + 0 - 0 !
share/plug-ins/methods.py |
2 1 + 1 - 0 !
share/plug-ins/python_support.py |
2 2 + 0 - 0 !
share/plug-ins/tab.py |
2 2 + 0 - 0 !
share/plug-ins/tip_of_the_day.py |
2 2 + 0 - 0 !
share/plug-ins/zoom.py |
2 2 + 0 - 0 !
share/predefined_ada.xml |
4 2 + 2 - 0 !
share/support/core/gps_utils/__init__.py |
2 2 + 0 - 0 !
share/support/core/gps_utils/gnat_rules.py |
2 1 + 1 - 0 !
share/support/core/gps_utils/gnatcheck_rules_editor.py |
2 2 + 0 - 0 !
share/support/core/gps_utils/highlighter.py |
2 2 + 0 - 0 !
share/support/core/modules.py |
4 4 + 0 - 0 !
share/support/core/projects.py |
2 1 + 1 - 0 !
share/support/core/text_utils.py |
3 3 + 0 - 0 !
share/support/core/toolchains.py |
2 1 + 1 - 0 !
share/support/ui/colorschemes.py |
2 2 + 0 - 0 !
share/support/ui/highlighter/engine.py |
2 2 + 0 - 0 !
share/support/ui/pygps/__init__.py |
2 2 + 0 - 0 !
share/support/ui/pygps/notebook.py |
2 2 + 0 - 0 !
share/support/ui/pygps/tree.py |
2 2 + 0 - 0 !
share/support/ui/reloadcss.py |
2 2 + 0 - 0 !
share/support/ui/task_manager.py |
2 2 + 0 - 0 !
share/templates/aws_web_server_blocks/js/aws_kernel.tjs |
6 3 + 3 - 0 !
src_editor/src/external_editor_module.adb |
2 1 + 1 - 0 !
src_editor/src/src_contexts.ads |
2 1 + 1 - 0 !
src_editor/src/src_editor_box-tooltips.ads |
2 1 + 1 - 0 !
src_editor/src/src_editor_buffer.ads |
2 1 + 1 - 0 !
src_editor/src/src_editor_view.adb |
2 1 + 1 - 0 !
src_editor/src/src_editor_view.ads |
4 2 + 2 - 0 !
toolchains_editor/core/src/toolchains.adb |
2 1 + 1 - 0 !
toolchains_editor/ui/src/toolchains_editor.adb |
2 1 + 1 - 0 !
vsearch/src/vsearch.adb |
4 2 + 2 - 0 !
widgets/src/collapsing_pane.adb |
2 1 + 1 - 0 !
widgets/src/switches_chooser-gtkada.adb |
2 1 + 1 - 0 !
78 files changed, 142 insertions(+), 85 deletions(-) |
fix a gcc pedantic warning
|
packaged_dependencies.diff | (download) |
distrib/from_impunit.pl |
2 1 + 1 - 0 !
1 file changed, 1 insertion(+), 1 deletion(-) |
use packaged dependencies instead of code copies.
|
do not set pythonhome.diff | (download) |
python/core/gps-python_core.adb |
5 0 + 5 - 0 !
1 file changed, 5 deletions(-) |
only set pythonhome if in the environment
The default value works, Executable_Location causes a crash.
|
gtk theme deprecated.diff | (download) |
share/gps.css |
13 0 + 13 - 0 !
1 file changed, 13 deletions(-) |
remove deprecated gtk3 theme settings.
|
python_lambda.diff | (download) |
docs/users_guide/GPS/__init__.py |
2 1 + 1 - 0 !
share/support/ui/colorschemes.py |
4 2 + 2 - 0 !
2 files changed, 3 insertions(+), 3 deletions(-) |
simplify unneeded lambda keywords
|