/[eiffelstudio]/branches/eth/eve/Src/Eiffel/interface/graphical/tools/contract/widget/es_contract_line.e
ViewVC logotype

Log of /branches/eth/eve/Src/Eiffel/interface/graphical/tools/contract/widget/es_contract_line.e

Parent Directory Parent Directory | Revision Log Revision Log


Links to HEAD: (view) (annotate)
Sticky Revision:

Revision 94983 - (view) (annotate) - [select for diffs]
Modified Fri May 2 11:05:28 2014 UTC (5 years, 5 months ago) by jasonw
File length: 8372 byte(s)
Diff to previous 92684
<<Merged from trunk#94978.>>

Revision 92684 - (view) (annotate) - [select for diffs]
Modified Fri Jun 7 15:28:53 2013 UTC (6 years, 4 months ago) by jasonw
File length: 8302 byte(s)
Diff to previous 83445
<<Merged from trunk#92682.>>

Revision 83445 - (view) (annotate) - [select for diffs]
Modified Sat Jun 5 15:29:40 2010 UTC (9 years, 4 months ago) by jasonw
File length: 8302 byte(s)
Diff to previous 83441
<<Merged from trunk@83442.>>

Revision 83441 - (view) (annotate) - [select for diffs]
Modified Sat Jun 5 13:52:53 2010 UTC (9 years, 4 months ago) by jasonw
File length: 8029 byte(s)
Diff to previous 83331
Renamed branch eve3 to eve. The eve branch serves as the new branch for the EVE project.

Revision 83331 - (view) (annotate) - [select for diffs]
Modified Wed May 26 18:49:35 2010 UTC (9 years, 4 months ago) by jasonw
Original Path: branches/eth/eve3/Src/Eiffel/interface/graphical/tools/contract/widget/es_contract_line.e
File length: 8029 byte(s)
Diff to previous 78943
<<Breanched from trunk@83330>> Created a branch to upgrade Eiffel Transform library to trunk.

Revision 78943 - (view) (annotate) - [select for diffs]
Modified Fri May 29 11:07:10 2009 UTC (10 years, 4 months ago) by jfiat
Original Path: trunk/Src/Eiffel/interface/graphical/tools/contract/widget/es_contract_line.e
File length: 8029 byte(s)
Diff to previous 77661
Cleaned object test local expression.

Revision 77661 - (view) (annotate) - [select for diffs]
Modified Mon Mar 9 19:21:15 2009 UTC (10 years, 7 months ago) by paulb
Original Path: trunk/Src/Eiffel/interface/graphical/tools/contract/widget/es_contract_line.e
File length: 8050 byte(s)
Diff to previous 77655
Updated due to changes in the void-safe conversion of the string formatter.


Revision 77655 - (view) (annotate) - [select for diffs]
Modified Mon Mar 9 18:41:52 2009 UTC (10 years, 7 months ago) by manus
Original Path: trunk/Src/Eiffel/interface/graphical/tools/contract/widget/es_contract_line.e
File length: 8054 byte(s)
Diff to previous 77520
Made code compilable.


Revision 77520 - (view) (annotate) - [select for diffs]
Modified Wed Mar 4 01:50:25 2009 UTC (10 years, 7 months ago) by manus
Original Path: trunk/Src/Eiffel/interface/graphical/tools/contract/widget/es_contract_line.e
File length: 8083 byte(s)
Diff to previous 76432
Updated to new syntax of object test and attached/detachable types using the `syntax_updater' tool.


Revision 76432 - (view) (annotate) - [select for diffs]
Modified Mon Dec 29 23:41:59 2008 UTC (10 years, 9 months ago) by manus
Original Path: trunk/Src/Eiffel/interface/graphical/tools/contract/widget/es_contract_line.e
File length: 7868 byte(s)
Diff to previous 75262
Removal of `is' keyword.
Replacement of `is' by `=' for constant definitions.
Replaced `indexing' by `note'.


Revision 75262 - (view) (annotate) - [select for diffs]
Modified Thu Oct 23 20:08:49 2008 UTC (10 years, 11 months ago) by alexk
Original Path: trunk/Src/Eiffel/interface/graphical/tools/contract/widget/es_contract_line.e
File length: 7876 byte(s)
Diff to previous 73225
Replaced type adjustments with a call to {ANY}.as_attached.

Revision 73225 - (view) (annotate) - [select for diffs]
Modified Mon Apr 28 21:51:37 2008 UTC (11 years, 5 months ago) by paulb
Original Path: trunk/Src/Eiffel/interface/graphical/tools/contract/widget/es_contract_line.e
File length: 7882 byte(s)
Diff to previous 73157
Fixed bug with the code template evaluation dialog and the skipping of the entry caret position.
ESF transition windows now show a wait cursor.
The add and edit contract dialog boxes now allow the ENTER key to be used in the contract editor widget, without closing the dialog.
Fixed bug in the contract viewer widget that did not correctly render Eiffel code for multi-line contracts.
Added a transition window when rescanning the code template catalog.
Added a tabbify string formatter function for replacing spaces with tabs.
Fixed some interface descriptions.

Revision 73157 - (view) (annotate) - [select for diffs]
Modified Wed Apr 23 18:56:56 2008 UTC (11 years, 5 months ago) by paulb
Original Path: trunk/Src/Eiffel/interface/graphical/tools/contract/widget/es_contract_line.e
File length: 6025 byte(s)
Diff to previous 73052
Renamed EVENT_LIST_EVENT_OBSERVER to EVENT_LIST_OBSERVER for consistency.
Fixed reloading of session data and setting of dirty state.
Fixed possible post-condition violation in setting a session object, pertaining to dirty state.
Added access to a list of active sessions in the session manager service.
Added event reporting for changes to the code template catalog.
Fixed bug in rescan_catalog in the code template catalog service.
Added a services menu to the EiffelStudio debug menu to save/restore session data and to rescan the code template catalog.
Updated the contract tool to repopulate the code template list when the code template catalog is changed.
Supported contracts without tags when editing and adding new contracts in the contract tool.
Fixed some typos in the interface.
Cleaned up use of some services by using SAFE_AUTO_DISPOSE to purge the event objects.

Revision 73052 - (view) (annotate) - [select for diffs]
Modified Wed Apr 16 20:06:46 2008 UTC (11 years, 6 months ago) by paulb
Original Path: trunk/Src/Eiffel/interface/graphical/tools/contract/widget/es_contract_line.e
File length: 5965 byte(s)
Diff to previous 73025
Better spaced the code template builder dialog.
ES_DIALOG now allows access to the development window during initialization.
The contract editor widget now allows for contracts to be added using a contract string as well as a tag + contract predicate string.
Implemented the edit functionality on the contract tool panel.
Fixed a bug in ES_CONTRACT_LINE that created a tagless contract.
Switched to using STRING_32.
Added missing comments.

Revision 73025 - (view) (annotate) - [select for diffs]
Modified Mon Apr 14 23:32:17 2008 UTC (11 years, 6 months ago) by paulb
Original Path: trunk/Src/Eiffel/interface/graphical/tools/contract/widget/es_contract_line.e
File length: 5180 byte(s)
Diff to previous 73011
Implemented more functionality in the contract tool: Hooked up some tool actions, added shortcuts and made modifiers work.
Added key handling to the dockable ESF class.
Added overlay pixmap/pixel buffer functions for generation of new pixmaps without having to create composites manually in the matrix.
Added pixel buffer versions functions in EB_PIXMAPABLE_ITEM_PIXMAP_FACTORY.
Changed EIFFEL_ENV to use a lower cased name for the user config folder when setting an environment variable.
Updated obsolete message.

Revision 73011 - (view) (annotate) - [select for diffs]
Added Sat Apr 12 00:14:51 2008 UTC (11 years, 6 months ago) by paulb
Original Path: trunk/Src/Eiffel/interface/graphical/tools/contract/widget/es_contract_line.e
File length: 5022 byte(s)
Fixed bug in the code template collection base, not comparing items correctly.
Fixed incorrect postconditions causes as a result of a copy-paste operation.
Simplified code template version number extraction.
Updated the contract tool to support adding contracts via applicable templates, which are now generated as a menu.
Hooked up code template rendering dialog to the contract tool.
Implemented correct removal of contracts (still edit and add to do)
Some reordering of code.
The contract editor widget now can be used to query contract rows and supports removal + added support classes.
Fixed a bug in the code text modifier that did not perform a code text merge when an editor file was saved after being modified.
Correctly setting the modified data text when applying a modification, and now it's set to the most active editor (the one with modifications)
Added functionality to EB_WINDOW_MANAGER to retrieve the editors given a class

This form allows you to request diffs between any two revisions of this file. For each of the two "sides" of the diff, enter a numeric revision.

  Diffs between and
  Type of Diff should be a

  ViewVC Help
Powered by ViewVC 1.1.23