Package: gnat-gps / 6.1.1-1

Metadata

Package Version Patches format
gnat-gps 6.1.1-1 3.0 (quilt)

Patch series

view the series file
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