|
ico_bmp
|
2024-04-05
|
gdemont
|
[r436]
(metadata) Pixel art on tool bar; refreshed Zip...
|
|
_lea_data.zip
|
2024-07-22
|
gdemont
|
[r447]
(samples) Added `directories` example
|
|
aming.cmd
|
2017-11-25
|
gdemont
|
[r118]
minor change in .gpr project file to make it co...
|
|
build.cmd
|
2023-07-15
|
gdemont
|
[r355]
(build processes) Made the small executable mod...
|
|
debug.pra
|
2017-11-25
|
gdemont
|
[r118]
minor change in .gpr project file to make it co...
|
|
hash.cmd
|
2023-06-06
|
gdemont
|
[r341]
Setting up the checking for externally modified...
|
|
lea.gpr
|
2023-11-25
|
gdemont
|
[r406]
Restored lea.gpr
|
|
lea.gwen
|
2023-06-06
|
gdemont
|
[r341]
Setting up the checking for externally modified...
|
|
lea.h
|
2024-02-07
|
gdemont
|
[r416]
Added a `Credits` info box
|
|
lea.rbj
|
2024-08-19
|
gdemont
|
[r448]
RC 0.91
|
|
lea.rc
|
2024-08-19
|
gdemont
|
[r448]
RC 0.91
|
|
lea.txt
|
2022-03-28
|
gdemont
|
[r272]
(doc) Updated lea.txt: 32-bit no more mandatory
|
|
lea_common-color_themes.adb
|
2024-07-09
|
gdemont
|
[r445]
Named a common colour for colour themes
|
|
lea_common-color_themes.ads
|
2024-05-13
|
gdemont
|
[r443]
(color themes) Added `line_number_foreground`
|
|
lea_common-hac_samples.ads
|
2024-07-22
|
gdemont
|
[r447]
(samples) Added `directories` example
|
|
lea_common-syntax.adb
|
2022-11-06
|
gdemont
|
[r291]
Source code gardening: reduced `use` clauses; u...
|
|
lea_common-syntax.ads
|
2024-09-26
|
gdemont
|
[r449]
Misc. minor updates
|
|
lea_common-user_options.adb
|
2023-09-05
|
gdemont
|
[r367]
Added `smart_editor` user switch. On Windows: c...
|
|
lea_common-user_options.ads
|
2024-03-04
|
gdemont
|
[r426]
Applied GH PR #9
|
|
lea_common.adb
|
2023-05-07
|
gdemont
|
[r328]
Moved LEA_Common.Color_Themes from subpackage t...
|
|
lea_common.ads
|
2023-09-05
|
gdemont
|
[r367]
Added `smart_editor` user switch. On Windows: c...
|
|
lea_elim.pra
|
2023-11-25
|
gdemont
|
[r405]
Removed old gnatelim results in lea_elim.pra
|
|
lea_gwin-editor-streaming.adb
|
2024-08-19
|
gdemont
|
[r448]
RC 0.91
|
|
lea_gwin-editor-streaming.ads
|
2024-01-13
|
gdemont
|
[r411]
LEA always builds sources from editor data, not...
|
|
lea_gwin-editor.adb
|
2024-10-10
|
gdemont
|
[r450]
Adapted to renamings in HAC_Sys about identifie...
|
|
lea_gwin-editor.ads
|
2024-05-08
|
gdemont
|
[r441]
Gardening (comments and a message)
|
|
lea_gwin-embedded_texts.adb
|
2024-08-19
|
gdemont
|
[r448]
RC 0.91
|
|
lea_gwin-embedded_texts.ads
|
2022-11-17
|
gdemont
|
[r304]
Prevent opening the same sample in two windows;...
|
|
lea_gwin-input_boxes.adb
|
2022-11-06
|
gdemont
|
[r291]
Source code gardening: reduced `use` clauses; u...
|
|
lea_gwin-input_boxes.ads
|
2020-12-22
|
gdemont
|
[r228]
Get_Line_Console, Get_Console: possible to abor...
|
|
lea_gwin-installer.adb
|
2024-06-29
|
gdemont
|
[r444]
Gardening: style checks
|
|
lea_gwin-installer.ads
|
2022-11-14
|
gdemont
|
[r300]
LEA doesn't unpack scilexer.dll as file if file...
|
|
lea_gwin-mdi_child.adb
|
2024-10-10
|
gdemont
|
[r450]
Adapted to renamings in HAC_Sys about identifie...
|
|
lea_gwin-mdi_child.ads
|
2024-03-12
|
gdemont
|
[r430]
Added '* ' in tab titles for modified files
|
|
lea_gwin-mdi_main.adb
|
2024-08-19
|
gdemont
|
[r448]
RC 0.91
|
|
lea_gwin-mdi_main.ads
|
2024-08-19
|
gdemont
|
[r448]
RC 0.91
|
|
lea_gwin-messages-io_pipe.adb
|
2024-07-22
|
gdemont
|
[r446]
Clearer message for the Skip_Line box
|
|
lea_gwin-messages-io_pipe.ads
|
2023-05-07
|
gdemont
|
[r327]
Source code gardening: GNAT style check `t`: to...
|
|
lea_gwin-messages.adb
|
2024-02-07
|
gdemont
|
[r417]
Added theme-dependent colouring of message list...
|
|
lea_gwin-messages.ads
|
2022-12-10
|
gdemont
|
[r317]
Reduced several nasty display flashings around ...
|
|
lea_gwin-modal_dialogs.adb
|
2024-05-08
|
gdemont
|
[r441]
Gardening (comments and a message)
|
|
lea_gwin-modal_dialogs.ads
|
2023-05-07
|
gdemont
|
[r327]
Source code gardening: GNAT style check `t`: to...
|
|
lea_gwin-options.adb
|
2024-08-19
|
gdemont
|
[r448]
RC 0.91
|
|
lea_gwin-options.ads
|
2021-11-27
|
gdemont
|
[r250]
LEA_GWin.Toolbars uses again GWindows.Common_Co...
|
|
lea_gwin-persistence.ads
|
2023-05-20
|
gdemont
|
[r334]
Adapted to GNAVI/GWindows rev. 479
|
|
lea_gwin-repair.adb
|
2024-08-19
|
gdemont
|
[r448]
RC 0.91
|
|
lea_gwin-repair.ads
|
2021-12-28
|
gdemont
|
[r263]
Simplification around diagnostics (related to H...
|
|
lea_gwin-run_windowed.adb
|
2024-08-19
|
gdemont
|
[r448]
RC 0.91
|
|
lea_gwin-run_windowed.ads
|
2022-11-06
|
gdemont
|
[r291]
Source code gardening: reduced `use` clauses; u...
|
|
lea_gwin-search_box.adb
|
2024-02-21
|
gdemont
|
[r420]
Search box: when a text is marked prior to Ctrl...
|
|
lea_gwin-search_box.ads
|
2024-05-08
|
gdemont
|
[r441]
Gardening (comments and a message)
|
|
lea_gwin-sliding_panels.adb
|
2023-11-24
|
gdemont
|
[r403]
Colorized split bar - https://github.com/zertov...
|
|
lea_gwin-sliding_panels.ads
|
2023-11-24
|
gdemont
|
[r403]
Colorized split bar - https://github.com/zertov...
|
|
lea_gwin-tabs.adb
|
2024-08-19
|
gdemont
|
[r448]
RC 0.91
|
|
lea_gwin-tabs.ads
|
2024-08-19
|
gdemont
|
[r448]
RC 0.91
|
|
lea_gwin-toolbars.adb
|
2024-03-05
|
gdemont
|
[r427]
Applied GH PR #10: Toolbar Colorization
|
|
lea_gwin-toolbars.ads
|
2024-03-05
|
gdemont
|
[r427]
Applied GH PR #10: Toolbar Colorization
|
|
lea_gwin.adb
|
2024-09-26
|
gdemont
|
[r449]
Misc. minor updates
|
|
lea_gwin.ads
|
2024-08-19
|
gdemont
|
[r448]
RC 0.91
|
|
lea_help.txt
|
2023-07-26
|
gdemont
|
[r359]
(doc) In the help file, added a paragraph about...
|
|
lea_project_tree.gpr
|
2023-08-25
|
gdemont
|
[r364]
Harmonized both GNAT project files
|
|
lea_resource_gui.adb
|
2024-08-19
|
gdemont
|
[r448]
RC 0.91
|
|
lea_resource_gui.ads
|
2024-08-19
|
gdemont
|
[r448]
RC 0.91
|
|
lea_without_data.adb
|
2024-03-13
|
gdemont
|
[r431]
Adapted to supplemental parameter needed by GWi...
|
|
lea_work.xls
|
2024-02-29
|
gdemont
|
[r425]
(doc) Updated to-do list
|
|
manifest.xml
|
2017-10-04
|
gdemont
|
[r3]
Editor widget appears now...
|
|
memorymodule.o
|
2022-11-17
|
gdemont
|
[r303]
Gardening
|
|
readme.txt
|
2017-10-15
|
gdemont
|
[r47]
Small simplification in LEA_GWin.Search, correc...
|
|
sample_catalogue.adb
|
2023-08-22
|
gdemont
|
[r362]
(samples) Added code generation example
|
|
save.hac
|
2023-05-07
|
gdemont
|
[r326]
Moved colour themes details to LEA_Common (syst...
|
|
save_modif.hac
|
2023-05-07
|
gdemont
|
[r326]
Moved colour themes details to LEA_Common (syst...
|
|
time_display.adb
|
2023-09-15
|
gdemont
|
[r376]
(gwindows) Semantics analysis is running at mor...
|
