Skip to content
This repository has been archived by the owner on Oct 6, 2019. It is now read-only.

Commit

Permalink
Getting ready for release
Browse files Browse the repository at this point in the history
  • Loading branch information
Thomas Hansen committed Jan 17, 2018
1 parent 7c97967 commit e128285
Show file tree
Hide file tree
Showing 2 changed files with 6 additions and 13 deletions.
6 changes: 0 additions & 6 deletions media/main.css
Original file line number Diff line number Diff line change
Expand Up @@ -93,24 +93,18 @@
text-overflow: ellipsis;
white-space: nowrap;
position: relative;
color: #c0c0c0;
font-style: italic;
margin-left: .2rem;
margin-bottom: 0;
background: none;
background-color: #f0f0f0;
font-size: .7rem;
padding-right: 30px;
height: 28px;
}

.hyper-ide-editor-tab-buttons > .toggled {
background: none;
background-color: #fbfbfb;
z-index: 1;
font-weight: bold;
font-style: normal;
color: #a0a0a0;
}

.hyper-ide-editor-tab-buttons > button:hover,
Expand Down
13 changes: 6 additions & 7 deletions startup/version.hl
Original file line number Diff line number Diff line change
@@ -1,7 +1,6 @@

/*
* Creates version Active Event.
*/
create-event:hyper-ide.version

return:decimal:6.1
/*
* Creates version Active Event.
*/
create-event:hyper-ide.version

return:decimal:6.2

0 comments on commit e128285

Please sign in to comment.